\neg\neg A\supset A