Inference and if-then.