Title: Inductive system diagrams