a > 0