Tag: intermediate inferences