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