==== Rules for proper definitions ====