Pot/Lid/Predicate logic/Exercise