list Cons x xs list xs list Nil True list Nil isEmpty[Match] Nil notEmpty Cons x xs True notEmpty Nil False goal x list x list 1 Cons 2 Nil 0 True 0 isEmpty[Match] 1 notEmpty 1 False 0 goal 1 INNERMOST