Add sexp and mappings