... documents to test inferences, and the like. I want ... go all the way and write a whole game)< ... a bunch of conditional translations useful in grouping and sequencing games. ... D, Z is 3rd if and only if Y is 7th, B ... on Tuesday or Wednesday if C is on Thursday)< ...