lteConsx'xs'Consxxsltexs'xslteConsxxsNilFalseevenConsxNilFalseevenConsx'ConsxxsevenxsnotEmptyConsxxsTruenotEmptyNilFalselteNilyTrueevenNilTruegoalxyandltexyevenxandFalseFalseFalseandTrueFalseFalseandFalseTrueFalseandTrueTrueTrueeven1lte2True0Cons2Nil0notEmpty1and2goal2False0INNERMOST