graph TD
    DefAEIO("DefAEIO Categorical forms")
    DefFig("DefFig Figures 1,2,3")
    Econv("Econv E-conversion")
    Iconv("Iconv I-conversion")
    Aconv("Aconv A-conversion")
    Barbara("Barbara Barbara")
    Celarent("Celarent Celarent")
    Darii("Darii Darii")
    Ferio("Ferio Ferio")
    DefAEIO --> Barbara
    DefFig --> Barbara
    DefAEIO --> Celarent
    DefFig --> Celarent
    DefAEIO --> Darii
    DefFig --> Darii
    DefAEIO --> Ferio
    DefFig --> Ferio
    classDef axiom fill:#e74c3c,color:#fff,stroke:#c0392b
    classDef definition fill:#3498db,color:#fff,stroke:#2980b9
    classDef theorem fill:#1abc9c,color:#fff,stroke:#16a085
    class Econv,Iconv,Aconv,Barbara,Celarent,Darii,Ferio axiom
    class DefAEIO,DefFig definition