Fix citation
Prove (cons/e e_1 (cons/e e_2 e_3)) is not fair