semantics
satisfaction/falsification