Notes on specifications and the protocols built from them.