slt

expand_less