H deriv in Calc omega