ebolloff

I checked it with the ontology `pizza` above. There are no theorems (`theorems_count: 0`) that can be displayed, and all axioms (`axioms_count: 712`) are displayed. When I test this with...