Displaying similar documents to “$R(3,4)=17$.”