Review of ``On the Feasibility of Software Certification''