Very unlikely they'd be buying at 30 unless their analysis pointed to significant upside from those levels.