changed implies identitie to saying a implies b etc