Is this something you need to verify runtime, or just a debug-assertion?