@zarfeblong The analogy with geometry goes farther, possibly without becoming completely silly. We can think about edge cases as surfaces (loosely speaking) in some high dimensional program state space. In the arrangement of these surfaces there is then "faces" of varying dimension, with the corner cases have as many edge cases intersecting as state variables.