The Ramsey Teorema checkweigher. (2015)