Simplify definition of between