more reduction rules