Annotate function
Add the basic start of qed
Update package