De manera informal, si F es '=y', G es 'es Pegasus', y sustituimos 'Pegasus' por y, entonces (4) podemos inferir de 'toda identidad con Pegasus es Pegasus' que algo es idéntico a Pegasus.