graph TD
    DefAEIO("DefAEIO Categorical forms")
    DefFig("DefFig Figures 1,2,3")
    Iconv("Iconv I-conversion")
    Aconv("Aconv A-conversion")
    Barbara("Barbara Barbara")
    Darii("Darii Darii")
    Ferio("Ferio Ferio")
    Darapti("Darapti Darapti")
    Felapton("Felapton Felapton")
    Disamis("Disamis Disamis")
    Datisi("Datisi Datisi")
    Bocardo("Bocardo Bocardo")
    Ferison("Ferison Ferison")
    DefAEIO --> Barbara
    DefFig --> Barbara
    DefAEIO --> Darii
    DefFig --> Darii
    DefAEIO --> Ferio
    DefFig --> Ferio
    Aconv --> Darapti
    Darii --> Darapti
    Aconv --> Felapton
    Ferio --> Felapton
    Iconv --> Disamis
    Darii --> Disamis
    Aconv --> Datisi
    Darii --> Datisi
    Barbara --> Bocardo
    Aconv --> Ferison
    Ferio --> Ferison
    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 Iconv,Aconv,Barbara,Darii,Ferio axiom
    class DefAEIO,DefFig definition
    class Darapti,Felapton,Disamis,Datisi,Bocardo,Ferison theorem