Notes on SAT changes