Formerly rule.c.~15~