equalityforall

equalityforall