Adds proof of complexity class for equivalence relations.