Create Notes on Unification and Proof Search