Generallyer comments on Good ontologies induce commutative diagrams