Work on patterns and proof esearch.