> It's an abstraction, not an error.
Extending an abstraction beyond its expressive capabilities is an error IMO.