Writing Specs

A calm manual for fewer surprises, with TLA+