a\geq 0