What are the valid reductions?