I have an analyzing and optionally***! lazy evaluator.