evaluation strategy
reduction strategy