Requirements in mathematical language are no use unless they are easier to read than the code.