"A state of software is a coordinate in the state space that contains exactly one value for every internal data structure." - James A. Whittaker