Rules and terms