P137 exemplifies (is exemplified by) in Version 6.2