All goals in your proof agenda have been closed.
Your proof still has open goals.
{{proof.provable}}
{{proof.tactic}}