evaluation strategy


evaluation strategy

reduction strategy