fn EExecP0 &V X Y Att Sg1 Sg2 FM = ( if (X==undefined) or (Y==undefined) then return false TOPoint_Create &V (CompSg X.C Sg1) (CompSg Y.C Sg2) 1 Att return true ) --EExecP0