(p Equivalent q) IMPLIES p