Problem: 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.