SAT Functions From William M. Spears