(b implies a) implies b