Text this: A guide to the Rado graph : exploring structural and logical properties of the Rado graph