‘Make invalid states unrepresentable’ considered harmful