a mathematician can read a formula