"it's enough of partial results. let's finish with a complete unconditional counterexample"
"Worked for 88m 24s... >"
"<h1>Complete finite counterexample</h1>"
...