"Lists and Recursion" fully verified