Only Text Quote

During the process of stepwise refinement, a notation which is natural to the problem in hand should be used as long as possible.