This cleans up some ad-hoc stuff and prepares for a generalization of saved propositions.
Attach a file by drag & drop or click to upload
