SAT Terms