still working on sexp parsing