h2 hash consistent with formal equation
renamed variables