Added support for Implies operator