THE ORDER IS NOW THE FOLLOWING:
l « A < B < C


YOUR SESSION HAS DIGESTED

THE FOLLOWING RELATIONS

THE FOLLOWING VARIABLES HAVE BEEN SOLVED FOR:
{C, l} The corresponding rules are the following:

C 2 - A - B

l 2



USER CREATIONS APPEAR BELOW



SOME RELATIONS WHICH APPEAR BELOW

MAY BE UNDIGESTED

THE FOLLOWING VARIABLES HAVE NOT BEEN SOLVED FOR:
{A, B}
The expressions with unknown variables {A}
and knowns {}

A A A


The expressions with unknown variables {B}
and known {}

B B B


The expressions with unknown variables {B, A}
and knowns {}

A B -1 + A + B

B A -1 + A + B