The id for “pi” is a good example of replacing a symbol that has no structural similarity to the facts referred to with one that does.