We talked about using a formal language to describe how things work.