I used to find separation logic confusing.

Then one day I went to Reading Terminal Market in Philadelphia. One of the grocers had a sign that said they sold "raw and pasteurized cheeses" and I suddenly understood the difference between the cartesian /\ and separating * conjunctions.

@maxsnew - so the takeaway is

monad:burrito::separation logic:cheese

@maxsnew This reads like a LinkedIn post but I still support it because it mentions my special interest
@markusde @maxsnew I got married this weekend and here are 10 things it taught me about B2B Iris proofs.
@maxsnew this is great. Compare: "organic and healthy products"
@maxsnew (I guess that could in principle be separating, but my brain snaps immediately to the Cartesian interpretation anyway)