D
iagonal_
R
amsey
Neighbours
Book
Big_Blue_Steps
Red_Steps
Bounding_Y
Bounding_X
Zigzag
Far_From_Diagonal
Closer_To_Diagonal
From_Diagonal
The_Proof