Implements IMPLIES and EQUAL