Writing a theory cs paper is a bit like this game: you start with a bunch of predicates describing states of the world, and the goal is to sort them all out within a given number of pages so they are not presented out of implicational order. (with tfaes, in particular iffs, for cutting down by mutual implication)
