More inferences added.