Division for recognition and equivalence