Recall that two propositions and are called contrary if there is no model in which both and are true and there is at least one model in which both and are false. Give an example of two contrary propositions in GPLI without using any logical operators other than negation.