Mathematical equivalence is not a substitute for clarity and directness: we must say exactly what we mean, not something else that can be shown to have the same effect.