the two-level ontology and the two-level truth criterion