add other inferences