Notes taken during meeting last night.
Merge branch 'master' of https://github.com/mn200/inspector-strategies
Submitted version of the wavefront paper.
Merge branch 'master' of https://github.com/mn200/inspector-strategies
Merged with Michael's changes.