a,b\geq 0