The model produced the proof. The argument is about whose name goes on it.

Today's haul: 10 tools · 12 resources · 24 reads · 11 numbers · 21 things that happened. Every tool, resource and read below has a working link. No link, no listing.