revert to sexp