(x implies y) equivalent (y implies x)