Rules for proper definitions