the_obj:GraphObject(the_graph), P,Q:(V
). (x:V. P(x) 
Q(x)) vertex-count(the_obj;x.P(x))
vertex-count(the_obj;x.Q(x))A,B:T List. no_repeats(T;A) (x:T. (x 
A) (x B)) ||A||||B||the_obj:GraphObject(the_graph), P:(V). no_repeats(V;vertex-subset(the_obj;x.P(x))) & (x:V. (x vertex-subset(the_obj;x.P(x))) 
P(x))