BASIC THEEORY
expand_less