Theoretical aspects of saturation analysis.