Introduction and methods draft complete.

May want to add more on automatic mechanism generation
to motivate the work.