¿Qué inconveniente hay en que ese grandioso planeta, llamado hasta aquí Júpiter, Dios de una falsa doctrina, se llame ahora San José? Y los demás planetas de nuestro sistema, ¿por qué no habían de tener el nombre de otros patriarcas, Adán, Noé, Abraham...? Esto se cae de su peso.