Walter Bright Fri, 17 Jan 2014 19:01:33 -0800
But then you have to define "invalid state",
An unexpected value is an invalid state.