State/Inversion is an antiautomorphism