P137 exemplifies (is exemplified by) in version 7.1.1