Added notes for the inductive proof of global alignment, and some code for covering the base cases.