Made a start towards exemplifying the formal form of the public code I hope to write.