Coinductive Guide to Inductive Transformer Heads