Propositions in GameController and Decorator - read it!