This topic was moved to #Miscellaneous > Properties of logic by Karl Palmskog.
Last updated: Oct 03 2023 at 04:02 UTC