Todas ellas son nombres propios: