 Another intriguing model of reasoning that provides a justification for all propositional connectives of standard Łukasiewicz logic has been introduced by Robin Giles (1974). It consists in a game, where two players, I and you, systematically reduce logically complex assertions (formulas) to simpler ones according to rules like the following: