-MIRI researcher Scott Garabrant had written a post on the theme of how ["Yes Requires the Possibility of No"](https://www.lesswrong.com/posts/G5TwJ9BGxcgh5DsmQ/yes-requires-the-possibility-of-no). (Information-theoretically, a signal sent with probability one transmits no information: you only learn something from observing the outcome if it could have gone the other way.) I saw an analogy to my thesis about categories: to say that _x_ belongs to category _C_ is meaningful because _C_ imposes truth conditions; just defining _x_ to be a _C_ by fiat would be uninformative.
+Despite Math and Wellness Month and my "intent" to take a break from the religious civil war, I kept reading _Less Wrong_ during May 2019, and ended up scoring a couple of victories in the civil war (at some cost to Wellness).
+
+MIRI researcher Scott Garabrant wrote a post on the theme of how ["Yes Requires the Possibility of No"](https://www.lesswrong.com/posts/G5TwJ9BGxcgh5DsmQ/yes-requires-the-possibility-of-no).
+
+
+(Information-theoretically, a signal sent with probability one transmits no information: you only learn something from observing the outcome if it could have gone the other way.)
+
+
+
+
+
+
+
+[TODO: tussle on new _Less Wrong_ FAQ 31 May https://www.lesswrong.com/posts/MqrzczdGhQCRePgqN/feedback-requested-draft-of-a-new-about-welcome-page-for#iqEEme6M2JmZEXYAk
+
+A draft of a new _Less Wrong_ FAQ was to include a link to "... Not Man for the Categories".
+
+]
+
+
+
+I saw an analogy to my thesis about categories: to say that _x_ belongs to category _C_ is meaningful because _C_ imposes truth conditions; just defining _x_ to be a _C_ by fiat would be uninformative.