need to set up implication (deleted)

Posted under Tags