minor revision to ex. 1.1.6, prefix notation