minor revision to ex. 1.1.2, prefix notation section