Sure, it's the methodology that's important, of making invalid states unrepresentable.