Formal methods

[catenoid]

Things that perhaps should be defined formally, in an unambiguous coding system:

• Redistricting process
• Legal systems

Comments

[huddyn]

Wouldn't that take all the adventure and romance out of the law?

[catenoid]

Yup.