Christian_Szegedy comments on Demands for Particular Proof: Appendices