Second commit: Intermediate inferences