added `OCSEqualityResult`