is replaced by
This is a label for
isReplacedBy
.