Requirements in mathematical language are no use unless they are easier to read than the code. — David Parnas Copy Share Image
