12. Well breaking the invariants of a function is never a good idea, but putting defined behaviour in that case would put substational restrictions on how the f

12. Well breaking the invariants of a function is never a good idea, but putting defined behaviour in that case would put substational restrictions on how the function could be implemented (and still almost certainly do something weird anyway latter)