6-4 More inferences