Protocol Mechanics #1: Computer-Aided Governance