equivalence check rather than attribution