Coinductive guide to inductive transformer heads. - Adam Nemecek (CoRR, 2023)