SPECIFICATION SpecINVARIANT ChartsOneSpecINVARIANT KeepsYourFilesINVARIANT NeverLosesChartINVARIANT ExitTwoLeavesFolderINVARIANT OverlapNeverRefusesSPECIFICATION Spec
INVARIANT ChartsOneSpec
INVARIANT KeepsYourFiles
INVARIANT NeverLosesChart
INVARIANT ExitTwoLeavesFolder
INVARIANT OverlapNeverRefuses