:: XBOOLEAN semantic presentation

K100() is set

K104() is V12() epsilon-transitive epsilon-connected ordinal M2(K26(K100()))

K26(K100()) is set

0 is V1() epsilon-transitive epsilon-connected ordinal natural M3(K100(),K104())

1 is V1() V12() epsilon-transitive epsilon-connected ordinal natural M3(K100(),K104())

() is set

() is set

p is set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

r is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - r is V1() set

1 - q is V1() set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

p * q is V1() set

r is set

s is V1() epsilon-transitive epsilon-connected ordinal natural () set

c

s * c

c

r is V1() epsilon-transitive epsilon-connected ordinal natural () set

r * r is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is set

p * q is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

((p),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * (q) is V1() set

(((p),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),(q)) is V1() set

r is set

s is V1() epsilon-transitive epsilon-connected ordinal natural () set

(s) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - s is V1() set

c

(c

1 - c

((s),(c

(s) * (c

(((s),(c

1 - ((s),(c

((c

(c

(((c

1 - ((c

r is V1() epsilon-transitive epsilon-connected ordinal natural () set

(r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - r is V1() set

((r),(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(r) * (r) is V1() set

(((r),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((r),(r)) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p),q) is set

((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p) is V1() set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) * (q) is V1() set

((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p)),(q)) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

((p),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * (q) is V1() set

(((p),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),(q)) is V1() set

(p,q) is set

((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p) is V1() set

(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) * (q) is V1() set

((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p)),(q)) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p) is V1() set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) * (q) is V1() set

((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p)),(q)) is V1() set

(q,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (q) is V1() set

(((q)),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q)) * (p) is V1() set

((((q)),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((q)),(p)) is V1() set

((p,q),(q,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) * (q,p) is V1() set

r is set

s is V1() epsilon-transitive epsilon-connected ordinal natural () set

c

(s,c

(s) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - s is V1() set

((s),c

((s)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (s) is V1() set

(c

1 - c

(((s)),(c

((s)) * (c

((((s)),(c

1 - (((s)),(c

(c

((c

((c

1 - (c

(((c

((c

((((c

1 - (((c

((s,c

(s,c

((c

(c

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p) is V1() set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) * (q) is V1() set

((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p)),(q)) is V1() set

(q,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (q) is V1() set

(((q)),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q)) * (p) is V1() set

((((q)),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((q)),(p)) is V1() set

((p,q),(q,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) * (q,p) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

p * q is V1() set

((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,q) is V1() set

r is set

s is V1() epsilon-transitive epsilon-connected ordinal natural () set

c

(s,c

s * c

((s,c

1 - (s,c

(c

c

((c

1 - (c

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

((p),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * (q) is V1() set

(((p),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),(q)) is V1() set

((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,q) is V1() set

r is set

s is V1() epsilon-transitive epsilon-connected ordinal natural () set

c

(s,c

(s) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - s is V1() set

(c

1 - c

((s),(c

(s) * (c

(((s),(c

1 - ((s),(c

((s,c

1 - (s,c

(c

((c

(c

(((c

1 - ((c

((c

1 - (c

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p) is V1() set

(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) * (q) is V1() set

((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p)),(q)) is V1() set

(q,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (q) is V1() set

(((q)),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q)) * (p) is V1() set

((((q)),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((q)),(p)) is V1() set

((p,q),(q,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) * (q,p) is V1() set

((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,q) is V1() set

r is set

s is V1() epsilon-transitive epsilon-connected ordinal natural () set

c

(s,c

(s,c

(s) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - s is V1() set

((s),c

((s)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (s) is V1() set

(c

1 - c

(((s)),(c

((s)) * (c

((((s)),(c

1 - (((s)),(c

(c

((c

((c

1 - (c

(((c

((c

((((c

1 - (((c

((s,c

(s,c

((s,c

1 - (s,c

(c

((c

(c

((c

1 - (c

(p,(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

p * (q) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

p * q is V1() set

((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,q) is V1() set

(p,q) is set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

((p),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * (q) is V1() set

(((p),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),(q)) is V1() set

((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,q) is V1() set

(p,q) is set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p) is V1() set

(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) * (q) is V1() set

((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p)),(q)) is V1() set

(q,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (q) is V1() set

(((q)),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q)) * (p) is V1() set

((((q)),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((q)),(p)) is V1() set

((p,q),(q,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) * (q,p) is V1() set

((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,q) is V1() set

(p,q) is set

(p,(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

p * (q) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

p * p is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

p * q is V1() set

(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

p * (p,q) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

((p),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * (p) is V1() set

(((p),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),(p)) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

((p),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * (q) is V1() set

(((p),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),(q)) is V1() set

(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,q) is V1() set

((p),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * ((p,q)) is V1() set

(((p),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),((p,q))) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

p * q is V1() set

(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,q) is V1() set

((p),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * ((p,q)) is V1() set

(((p),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),((p,q))) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

((p),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * (q) is V1() set

(((p),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),(q)) is V1() set

(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

p * (p,q) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

((p),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * (q) is V1() set

(((p),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),(q)) is V1() set

(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

p * (p,q) is V1() set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

p * q is V1() set

(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,q) is V1() set

((p),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * ((p,q)) is V1() set

(((p),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),((p,q))) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

p * q is V1() set

r is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

(r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - r is V1() set

((q),(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q) * (r) is V1() set

(((q),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((q),(r)) is V1() set

(p,(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

p * (q,r) is V1() set

(p,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

p * r is V1() set

((p,q),(p,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,q) is V1() set

((p,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,r) is V1() set

(((p,q)),((p,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p,q)) * ((p,r)) is V1() set

((((p,q)),((p,r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p,q)),((p,r))) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

((p),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * (q) is V1() set

(((p),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),(q)) is V1() set

r is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

q * r is V1() set

(p,(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (q,r) is V1() set

((p),((q,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * ((q,r)) is V1() set

(((p),((q,r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),((q,r))) is V1() set

(p,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - r is V1() set

((p),(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * (r) is V1() set

(((p),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),(r)) is V1() set

((p,q),(p,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) * (p,r) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

p * q is V1() set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

((p),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * (q) is V1() set

(((p),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),(q)) is V1() set

r is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

q * r is V1() set

((p,q),(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,q) is V1() set

((q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (q,r) is V1() set

(((p,q)),((q,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p,q)) * ((q,r)) is V1() set

((((p,q)),((q,r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p,q)),((q,r))) is V1() set

(r,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

r * p is V1() set

(((p,q),(q,r)),(r,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(((p,q),(q,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p,q),(q,r)) is V1() set

((r,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (r,p) is V1() set

((((p,q),(q,r))),((r,p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(((p,q),(q,r))) * ((r,p)) is V1() set

(((((p,q),(q,r))),((r,p)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((((p,q),(q,r))),((r,p))) is V1() set

(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - r is V1() set

((q),(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q) * (r) is V1() set

(((q),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((q),(r)) is V1() set

((p,q),(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) * (q,r) is V1() set

(r,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((r),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(r) * (p) is V1() set

(((r),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((r),(p)) is V1() set

(((p,q),(q,r)),(r,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p,q),(q,r)) * (r,p) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p) is V1() set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) * (q) is V1() set

((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p)),(q)) is V1() set

(p,((p),q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

p * ((p),q) is V1() set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

p * q is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * q is V1() set

(p,((p),q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(((p),q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),q) is V1() set

((p),(((p),q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * (((p),q)) is V1() set

(((p),(((p),q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),(((p),q))) is V1() set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

((p),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * (q) is V1() set

(((p),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),(q)) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p) is V1() set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) * (q) is V1() set

((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p)),(q)) is V1() set

(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p),(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,q) is V1() set

(((p)),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) * ((p,q)) is V1() set

((((p)),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p)),((p,q))) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p) is V1() set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) * (q) is V1() set

((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p)),(q)) is V1() set

(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

p * (p,q) is V1() set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

p * q is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

p * q is V1() set

(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

((p),(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p) is V1() set

((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,q) is V1() set

(((p)),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) * ((p,q)) is V1() set

((((p)),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p)),((p,q))) is V1() set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) * (q) is V1() set

((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p)),(q)) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p) is V1() set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) * (q) is V1() set

((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p)),(q)) is V1() set

((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,q) is V1() set

(p,((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

p * ((p,q)) is V1() set

(p,(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

p * (q) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p) is V1() set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) * (q) is V1() set

((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p)),(q)) is V1() set

((p),(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,q) is V1() set

(((p)),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) * ((p,q)) is V1() set

((((p)),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p)),((p,q))) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p) is V1() set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) * (q) is V1() set

((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p)),(q)) is V1() set

((p),(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * (p,q) is V1() set

((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * q is V1() set

((p),((p),q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(((p),q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),q) is V1() set

(((p)),(((p),q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) * (((p),q)) is V1() set

((((p)),(((p),q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p)),(((p),q))) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p) is V1() set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) * (q) is V1() set

((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p)),(q)) is V1() set

(q,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (q) is V1() set

(((q)),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q)) * (p) is V1() set

((((q)),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((q)),(p)) is V1() set

((p,q),(q,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) * (q,p) is V1() set

r is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p,q),r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p,q),r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,q) is V1() set

(((p,q)),r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p,q)) is V1() set

(r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - r is V1() set

((((p,q))),(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(((p,q))) * (r) is V1() set

(((((p,q))),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((((p,q))),(r)) is V1() set

(r,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((r),(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (r) is V1() set

(((r)),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((r)) * ((p,q)) is V1() set

((((r)),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((r)),((p,q))) is V1() set

(((p,q),r),(r,(p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p,q),r) * (r,(p,q)) is V1() set

(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q),r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(((q)),(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q)) * (r) is V1() set

((((q)),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((q)),(r)) is V1() set

(r,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((r),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(((r)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((r)) * (q) is V1() set

((((r)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((r)),(q)) is V1() set

((q,r),(r,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q,r) * (r,q) is V1() set

(p,(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p),(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (q,r) is V1() set

(((p)),((q,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) * ((q,r)) is V1() set

((((p)),((q,r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p)),((q,r))) is V1() set

((q,r),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(((q,r)),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(((q,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((q,r)) is V1() set

((((q,r))),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(((q,r))) * (p) is V1() set

(((((q,r))),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((((q,r))),(p)) is V1() set

((p,(q,r)),((q,r),p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,(q,r)) * ((q,r),p) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p) is V1() set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) * (q) is V1() set

((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p)),(q)) is V1() set

(q,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (q) is V1() set

(((q)),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q)) * (p) is V1() set

((((q)),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((q)),(p)) is V1() set

((p,q),(q,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) * (q,p) is V1() set

(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

p * (p,q) is V1() set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

p * q is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p) is V1() set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) * (q) is V1() set

((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p)),(q)) is V1() set

(q,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (q) is V1() set

(((q)),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q)) * (p) is V1() set

((((q)),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((q)),(p)) is V1() set

((p,q),(q,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) * (q,p) is V1() set

((p),(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * (p,q) is V1() set

((p),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * (q) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

r is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

((q),r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (q) is V1() set

(r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - r is V1() set

(((q)),(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q)) * (r) is V1() set

((((q)),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((q)),(r)) is V1() set

(r,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((r),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (r) is V1() set

(((r)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((r)) * (q) is V1() set

((((r)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((r)),(q)) is V1() set

((q,r),(r,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q,r) * (r,q) is V1() set

(p,(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

p * (q,r) is V1() set

(p,((q),r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

p * ((q),r) is V1() set

((p,((q),r)),((r),q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,((q),r)) * ((r),q) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

(p,(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

((q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (q) is V1() set

((p),((q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * ((q)) is V1() set

(((p),((q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),((q))) is V1() set

r is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q),r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - r is V1() set

(((q)),(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q)) * (r) is V1() set

((((q)),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((q)),(r)) is V1() set

(r,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((r),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (r) is V1() set

(((r)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((r)) * (q) is V1() set

((((r)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((r)),(q)) is V1() set

((q,r),(r,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q,r) * (r,q) is V1() set

(p,(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (q,r) is V1() set

((p),((q,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * ((q,r)) is V1() set

(((p),((q,r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),((q,r))) is V1() set

((p,(q)),r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p,(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,(q)) is V1() set

(((p,(q))),(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p,(q))) * (r) is V1() set

((((p,(q))),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p,(q))),(r)) is V1() set

(p,(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p),((r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * ((r)) is V1() set

(((p),((r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),((r))) is V1() set

((p,(r)),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p,(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,(r)) is V1() set

(((p,(r))),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p,(r))) * (q) is V1() set

((((p,(r))),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p,(r))),(q)) is V1() set

(((p,(q)),r),((p,(r)),q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p,(q)),r) * ((p,(r)),q) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p) is V1() set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) * (q) is V1() set

((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p)),(q)) is V1() set

(q,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (q) is V1() set

(((q)),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q)) * (p) is V1() set

((((q)),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((q)),(p)) is V1() set

((p,q),(q,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) * (q,p) is V1() set

((p),(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * (p,q) is V1() set

((p),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * (q) is V1() set

(((p),(q)),((p),q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p),(q)) * ((p),q) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

r is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

((q),r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (q) is V1() set

(r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - r is V1() set

(((q)),(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q)) * (r) is V1() set

((((q)),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((q)),(r)) is V1() set

(r,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((r),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (r) is V1() set

(((r)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((r)) * (q) is V1() set

((((r)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((r)),(q)) is V1() set

((q,r),(r,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q,r) * (r,q) is V1() set

((p),(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * (q,r) is V1() set

((p),((q),r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * ((q),r) is V1() set

(((p),((q),r)),((r),q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p),((q),r)) * ((r),q) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p) is V1() set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) * (q) is V1() set

((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p)),(q)) is V1() set

(q,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (q) is V1() set

(((q)),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q)) * (p) is V1() set

((((q)),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((q)),(p)) is V1() set

((p,q),(q,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) * (q,p) is V1() set

(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p),(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,q) is V1() set

(((p)),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) * ((p,q)) is V1() set

((((p)),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p)),((p,q))) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p) is V1() set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) * (q) is V1() set

((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p)),(q)) is V1() set

(q,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (q) is V1() set

(((q)),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q)) * (p) is V1() set

((((q)),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((q)),(p)) is V1() set

((p,q),(q,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) * (q,p) is V1() set

(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p),(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,q) is V1() set

(((p)),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) * ((p,q)) is V1() set

((((p)),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p)),((p,q))) is V1() set

(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p),(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,q) is V1() set

(((p)),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) * ((p,q)) is V1() set

((((p)),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p)),((p,q))) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p) is V1() set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) * (q) is V1() set

((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p)),(q)) is V1() set

(q,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (q) is V1() set

(((q)),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q)) * (p) is V1() set

((((q)),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((q)),(p)) is V1() set

((p,q),(q,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) * (q,p) is V1() set

(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,q) is V1() set

((p),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * ((p,q)) is V1() set

(((p),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),((p,q))) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p) is V1() set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) * (q) is V1() set

((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p)),(q)) is V1() set

(q,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (q) is V1() set

(((q)),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q)) * (p) is V1() set

((((q)),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((q)),(p)) is V1() set

((p,q),(q,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) * (q,p) is V1() set

((p),(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,q) is V1() set

(((p)),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) * ((p,q)) is V1() set

((((p)),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p)),((p,q))) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

((p),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p) is V1() set

((q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (q) is V1() set

(((p)),((q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) * ((q)) is V1() set

((((p)),((q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p)),((q))) is V1() set

((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) * (q) is V1() set

((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p)),(q)) is V1() set

r is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q),r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - r is V1() set

(((q)),(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q)) * (r) is V1() set

((((q)),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((q)),(r)) is V1() set

(r,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((r),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (r) is V1() set

(((r)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((r)) * (q) is V1() set

((((r)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((r)),(q)) is V1() set

((q,r),(r,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q,r) * (r,q) is V1() set

(p,(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p),(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (q,r) is V1() set

(((p)),((q,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p)) * ((q,r)) is V1() set

((((p)),((q,r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (((p)),((q,r))) is V1() set

(((p),(q)),r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(((p),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),(q)) is V1() set

((((p),(q))),(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(((p),(q))) * (r) is V1() set

(((((p),(q))),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((((p),(q))),(r)) is V1() set

(((p),q),(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(((p),q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),q) is V1() set

((((p),q)),((r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(((p),q)) * ((r)) is V1() set

(((((p),q)),((r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((((p),q)),((r))) is V1() set

((((p),(q)),r),(((p),q),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(((p),(q)),r) * (((p),q),(r)) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

((p),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * (p) is V1() set

(((p),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),(p)) is V1() set

((p,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,p) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

p * q is V1() set

(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,q) is V1() set

((p),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * ((p,q)) is V1() set

(((p),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),((p,q))) is V1() set

((p,(p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,(p,q)) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

((p),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * (q) is V1() set

(((p),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),(q)) is V1() set

(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,q) is V1() set

((p),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * ((p,q)) is V1() set

(((p),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),((p,q))) is V1() set

((p,(p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,(p,q)) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

((p),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * (q) is V1() set

(((p),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),(q)) is V1() set

((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,q) is V1() set

(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,q) is V1() set

((p),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * ((p,q)) is V1() set

(((p),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),((p,q))) is V1() set

((p,(p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,(p,q)) is V1() set

((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * q is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

p * q is V1() set

(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,q) is V1() set

((p),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * ((p,q)) is V1() set

(((p),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),((p,q))) is V1() set

((p,(p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,(p,q)) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

((p),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * (q) is V1() set

(((p),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),(q)) is V1() set

(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,q) is V1() set

((p),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * ((p,q)) is V1() set

(((p),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),((p,q))) is V1() set

((p,(p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,(p,q)) is V1() set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

((p),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * (q) is V1() set

(((p),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),(q)) is V1() set

((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,q) is V1() set

((p),(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * (p,q) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

(p,(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

((q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (q) is V1() set

((p),((q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * ((q)) is V1() set

(((p),((q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),((q))) is V1() set

r is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - r is V1() set

((q),(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q) * (r) is V1() set

(((q),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((q),(r)) is V1() set

((q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (q,r) is V1() set

(p,(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (q,r) is V1() set

((p),((q,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * ((q,r)) is V1() set

(((p),((q,r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),((q,r))) is V1() set

(p,(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (r) is V1() set

((p),((r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * ((r)) is V1() set

(((p),((r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),((r))) is V1() set

((p,(q)),(p,(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,(q)) * (p,(r)) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * q is V1() set

r is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

(r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - r is V1() set

((q),(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q) * (r) is V1() set

(((q),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((q),(r)) is V1() set

((q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (q,r) is V1() set

(p,(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (q,r) is V1() set

((p),((q,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * ((q,r)) is V1() set

(((p),((q,r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),((q,r))) is V1() set

((p,(q,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,(q,r)) is V1() set

((p),r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * r is V1() set

(((p),q),((p),r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(((p),q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),q) is V1() set

(((p),r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),r) is V1() set

((((p),q)),(((p),r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(((p),q)) * (((p),r)) is V1() set

(((((p),q)),(((p),r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((((p),q)),(((p),r))) is V1() set

p is V1() epsilon-transitive epsilon-connected ordinal natural () set

q is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - p is V1() set

(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - q is V1() set

((p),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * (q) is V1() set

(((p),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),(q)) is V1() set

((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,q) is V1() set

r is V1() epsilon-transitive epsilon-connected ordinal natural () set

(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

q * r is V1() set

(p,(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p,(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

((q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (q,r) is V1() set

((p),((q,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * ((q,r)) is V1() set

(((p),((q,r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),((q,r))) is V1() set

((p,(q,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,(q,r)) is V1() set

(p,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(r) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - r is V1() set

((p),(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(p) * (r) is V1() set

(((p),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p),(r)) is V1() set

((p,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - (p,r) is V1() set

(((p,q)),((p,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p,q)) is V1() set

(((p,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((p,r)) is V1() set

((((p,q))),(((p,r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

(((p,q))) * (((p,r))) is V1() set

(((((p,q))),(((p,r))))) is V1() epsilon-transitive epsilon-connected ordinal natural () set

1 - ((((p,q))),(((p,