We demand rigidly defined areas of doubt and uncertainty!

The Brits are up to some supercomputing. The article states:

When it is built in 2007, the high spec number cruncher will be faster than any
in Europe.

The High-End Computing Terascale Resource, or Hector as it is
known, will be owned by the Research Councils of the UK.

The machine will calculate results, but will further explain that you're not going to like the answer.