I agree with @mlaflamm on this one, AFAIK this evaluates value equality, and makes sure that the three values are estimated to being the same.

@clementgarnier solution would work if we were evaluating referential equaltity