!a implies b