I mean that’s not abuse? That’s what mechanically checkable invariants are for! They constrain the space the model has to work in.