Experimental tests have finite precision; if KS sets differ from colourable sets only below measurem...
This proposition has not been edited since the history system was added.