a\geq t