baddx'ConsxxsbaddConsNilNilbaddx'xsbaddxNilxgoalxybaddxybadd2Cons2Nil0goal2INNERMOST