if-and-only-if operation