The Dao of Bayes comments on Proofs, Implications, and Models