Help with First Three Propositional Games, if you need it