Ok 3geq Ok 0