Remove qed
Add qed