The existence of “coffee” implies the existence of “ffee” which is orthogonal in Hilbert space.