note1wx686... Jade Master @Jade Master 1771328937 @nprofile1q... I've never heard of Beth's intuitionistic logic. Historical bias mayhaps
