more precise statement of LEM