λx.λy.(}. (gen. (x,y) [{a⟜x->1;g⟜x->2;((a+g)%2,√(a*g))}] 6))->1