Formal Regions Must Always Be Based On