 So it'd be tough to get him without giving up Jackson Holiday or three of your top four prospects in general, something of that nature, multiple major league guys even, with the rumors floating around of trading Mullins or Mountcastle even.