But you have to program every conceivable 'normal' situations, so really you are just using a variable definition term like 'normal' to tautologically argue.