work inference properties (2.4)