Lots of implementation paper revisions