4.23

O nome só aparece na proposição em conexão com proposições elementares.