fix reduction rules