AI bonus in lecture 2. Symbolic list solution in CL.