Added todo code for base cases, notes for induction proof of global alignment
Added todo code for base cases, notes for induction proof of global alignment