Ritalin comments on Proofs, Implications, and Models

[Ritalin]

It seems like a fairly simple notion. So my prediction is yes.