Documentation, testing, and equality