a \geq 0