reduce to rule