first evaluation
Use AOF