State simplifications by J.C. Scott