-

Finally got the model theory done.
Finished the proof of the Erdos-Rado theorem in class today.
Thinking more about Cred design...