Sin embargo, los meinongianos más sofisticados insistirán en que debe haber alguna restricción en las instancias de sustitución para "B", para permitir a uno extraer la obvia e importante distinción ontológica entre los dos grupos siguientes: {el sol, la Torre Eiffel, Michael Jackson, etc} y {Santa Claus, Mickey Mouse, el cuadrado redondo, etc}.