inferExp