Validity and satisfiability