difficulty of satisfiability check
terminology
more terminology