Comment by cdaringe

The “make impossible states unrepresentable” of the hardware world