If a is bigger than bthen a can contain b