Toward Principled Knowledge Editing for Large Language Model Reasoning bioengineer.org