a\ge 0