I don’t mind my world shrinking. In fact, I quite like it sometimes. In summer, I generally talk too much and as Carl Jung said, ‘I need many days of silence to recover from the futility of words.’ I spend more time with my kids. I sleep more. I read more.
Wint(er)huis.
Raw Dates.
And I bet you constantly ask
"How did we get here so fast?"
Unless Uniqueness.
It is not a good idea to name a state after its valuation.
Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi: Dynamic Epistemic Logic
Lesexercise.
We leave checking C1 to C3 as an exercise to the reader — the proofs are very similar to those in part (i).
past-me, annoying now-me and future-me
Fixpointificate.
(c) The contribution was provided directly to me by some other person who certified (a), (b) or (c) and I have not modified it.