CompareWords
Compare
Satisfiable
Definition:
(a.) That may be satisfied.