The exact computation paradigm