list done ontologies first.
show logic-reference in ontologies list.