Put the implies() method in the right place.