site Invariant
    class Period
        date Start
        integer Days
        date End
        invariant:
            Start + Days = End and
            Start <= End