inverse A <-> B