Use draft style (big line spacing, single column)
Add note about BL axioms
Add section on neural networks, note about prover9