Hm, this is similar to what I feared https://www.lesswrong.com/posts/WCX3EwnWAx7eyucqH/corrigibility-can-be-vnm-incoherent
* generally all theorems of the form "we have mathematical object X, and Y as a special case of X. How many X are Y?"
I operate by Crocker's rules[1].