Having introduced =, he shows binary notation for numbers . = 1, . . = 2 and so on. He goes on to multiplication, division, variables and constants, then propositional logic, set theory and first-order logic. He tries to introduce questions by leaving mathematical expressions unsolved: ? x x + 101 = 11