inference-driving macros