The condition larger than or equal is created when A >= B. A >= B is equivalent to ge(A, B).