Control

Playing with propositions