addlistConsxxs'ConsS0xsConsSxaddlistxs'xsaddlistConsS0xs'ConsxxsConsSxaddlistxs'xsaddlistNilysNilnotEmptyConsxxsTruenotEmptyNilFalsegoalxsysaddlistxsysaddlist2Cons2S100Nil0notEmpty1True0False0goal2INNERMOST