You are badly informed the counter-example was found shortly before. Terrence just tried to replicate how it was found.