Historical clue formulations

• Render unnecessary — 2020-12-13
• Render unnecessary — 2003-02-21
• Render unnecessary — 1997-06-03
• Make unnecessary — 1994-10-27