Effects: changes and alterations of environment ... unexpected interactions between parts of the program.

Computations governed by solver in order to verify rules not a concrete computations.