satisfiedness

not defined yet