add differential semantics pdf
clarity corrections
confine the tags to sql