memberx'Consxxsmember[Ite][True][Ite]!EQx'xx'ConsxxsmemberxNilFalsenotEmptyConsxxsTruenotEmptyNilFalsegoalxxsmemberxxs!EQSxSy!EQxy!EQ0SyFalse!EQSx0False!EQ00Truemember[Ite][True][Ite]Falsex'Consxxsmemberx'xsmember[Ite][True][Ite]TruexxsTruemember2!EQ2True0S1Cons2member[Ite][True][Ite]3Nil000notEmpty1goal2False0INNERMOST