Joanna Morningstar comments on Proofs, Implications, and Models