[deleted] comments on Proofs, Implications, and Models

[[deleted]]

Apples (and other finite sets of concrete objects) form a semiring.