More inference cases