;; from page 5

[eq[car[x];A]->cons[B;cdr[x]];T->x]