Stav dette: Sorts, ontology, and metaphor