P137 exemplifies (is exemplified by ) in Version 5.0.2