> 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