Historical clue formulations

• Proof parts — 2021-02-11
• Auxiliary propositions, in math — 2017-12-01
• Logical premises — 1995-04-25