Call it `mustNotThrow` for readability.