En símbolos contemporáneos, podemos representar esta última frase del siguiente modo (donde N es el operador alético de necesidad, G es una constante que significa, digamos, “ser bueno”, "a" es un individuo del que se predica lo anterior y -> es el condicional material):