higher bound less in

constant and variable

shared thread binding us✕