Editable Elementary Certificates