I'll add a comment, Frank.  In addition to Carl's point (which is correct), the requirement of at least one Region means you don't have to special case all the other methods in the class to check e.g. that the endpoints list is non-empty.