We talked about writing specifications in a regular imperative language.