Assoume

expand_less