Satisfiability and validity