Sorry, maybe that was a bit harsh. :) [Recurse Center](https://www.recurse.com/manual https://www.recurse.com/manual) (explained in the section 'social rules')

Sorry, maybe that was a bit harsh. :) [Recurse Center](https://www.recurse.com/manual https://www.recurse.com/manual) (explained in the section 'social rules') has a social rule against "well-actuallys" which is intended to discourage nitpicking. If someone does it, you just point out "hey, that's a 'well-actually'", and they go 'oh sorry' and you move on. That was my way of pointing out a well-actually. :) > the choosing to determine when shifting system is needed to prove something that may or may not be proved in a particular system? Sorry, I am having a hard time parsing this. What do you mean?