P137 is exemplified by (exemplifies) in Version 4.1