Indeed. Or to simplify: - At no point during the editing process do you have an invalid s-expression. - You manipulate the code datastructure, not the code text.