You can fundamentally prove that it's either impossible to violate that rule or that you can itemize the scenarios where that comes up and you can do a test and show that you pass that test and therefore you can handle that scenario.