2.2 Effective computations