listConsxxslistxslistNilTruelistNilisEmpty[Match]NilnotEmptyConsxxsTruenotEmptyNilFalsegoalxlistxlist1Cons2Nil0True0isEmpty[Match]1notEmpty1False0goal1INNERMOST