Experiments in making reasoning really explicit and careful

Copy-pasted from a doc, not organized: