x (Fx ?Gx ) › Hx) önermesinde ad sembolü olmadığından yüklem sembollerini yerine yazarsak, x(( a matematikçidir )x ? (a fizikçidir) x) › (a ispat yapar)x) sonra a yerine x değişkeni konmasıyla, x(( x matematikçidir) ?((x fizikçidir)) › (x ispat yapar))) olur. Niceleyiciler ve önerme eklemlerini yerine yazar ve parantezler yerine noktalama işaretlerini yazarsak, Bazı matemetikçi veya fizikçi ise ispat yapar.