Show HN: Coinductive guide to inductive transformer heads [pdf]