Small ontology about SMT IV demons.