{{model.name}} Fill in the blanks (__________)

Model has proofs with steps. Proof cache will be deleted. After making changes to the model, the stored tactics may need editing when re-opening the proofs. If you want to keep the proof cache, please copy the model content, cancel editing, and create a new model instead.
After editing the model, the tactic is rerun but may also need editing.