Added Shah's objective.
Added unfinished procedure section.