"""I'm sure this can be modeled mathematically, but I'm not convinced this would help.""" Why would a mathematically modeled system of key-value observing woul

"""I'm sure this can be modeled mathematically, but I'm not convinced this would help.""" Why would a mathematically modeled system of key-value observing would not help? For one, it would enable one to prove and examine all kinds of assumptions about the model working correctly.