DSA_hypervergeq