Post #2491868

@DavidKButler@mathstodon.xyz @andrejbauer@mathstodon.xyz Heh. In a logic with double negation elimination, it is a bit hard to see an issue. Now, Andrej Bauer and I often work in logics which don't have double negation elimination, so you are getting a particular perspective when you talk to our ilk. Hopefully we are explaining how those logics work without getting obnoxious about the whole thing.