a implies b