At the centre of the idea is a reduction algorithm which simplifies the complexities of large-scale physical simulations. Knezevic's system tells a user the range of possible solutions, and provide a metric of whether an answer is accurate or not. The error bounds are based on mathematical theory developed at MIT over a number of years.