Perform a deductive leap