Val: Add alphaEq