- Review available assertions. - Remove redundant assertions. - Resolve ambiguities about the assertions. - Rething naming of assertions.