SAT #8 Explanations