Brocard

expand_less