A Lego System for Conditional Inference ✯