in part 1, mention the implementation in the first paragraph
apply some minor improvements
emphasize that we use stable equivalence in part 1, section 4
Merge pull request #37 from steenpass/andreas

update part 1