INSTANCES AND INFERENCES