When we start taking documentation more seriously, we ‘will see that just as in other kinds of engineering documentation, software documentation must be based on mathematics. Each document will be a representation of one or more mathematical relations. The only practical way to record the information needed in proper documentation will be to use formally defined notation.