Logical Inductor Notation and Definitions - History — AI Alignment Forum