Title: Constraints on rule form