> Trying to get people to understand a complex formal system is very hard. Harder than developing one. Add another one to that list: Exactly how this complex s

> Trying to get people to understand a complex formal system is very hard. Harder than developing one. Add another one to that list: Exactly how this complex system benefits people