Highstate, not lowstate