Attempt at a formal definition of fairness
Explicit example/non-example and a convenience tex function
Add Proof TODOs
Proof that boxy list/e is fair
Proof that Cantor list/e is fair
Fix citation
Prove (cons/e e_1 (cons/e e_2 e_3)) is not fair
Prove disj-sum/e is fair
Wording in cantor-list/e proof as per Jay's comments