Jayson_Virissimo comments on Proofs, Implications, and Models