Jimmyzzt

A rule-discovery paper puzzle about self-reference, counting, and deduction.