It's interesting that a lot of added constraints mirror "real-world" scenarios. We don't have an intrinsic global co-ordinate system, and brevity/laziness is ge

It's interesting that a lot of added constraints mirror "real-world" scenarios. We don't have an intrinsic global co-ordinate system, and brevity/laziness is generally rewarded (which results in Zipf's Law in natural language).