richard_ngo comments on Some preliminaries and a claim