What we have left to do...

... (that we know of)

• Trust -- discovering and modeling social practice
• Proof -- bookkeeping
• Rules -- already vast implementation experience