SPECIFICATION Spec
INVARIANT ChartsOneSpec
INVARIANT KeepsYourFiles
INVARIANT NeverLosesChart
INVARIANT ExitTwoLeavesFolder
INVARIANT OverlapNeverRefuses