evaluation strategy

reduction strategy