Starting Sec.3.3, removing erroneous my-cons, my-car, and my-cdr