better sexp mappings