Added thin air axiom. Added TODO file.