4.23

The name occurs in the proposition only in the context of the elementary proposition.