Variable Inference