((/nonstd/workshops/1999/calculus/book/between-limited-implies-limited.lisp::between (nil nil nil nil (if) nil nil) (nil nil nil (< and and) nil nil nil) ((a b) nil nil (<= <= <= <=) nil nil nil) ((a x x b b x x a) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))