 For the purpose of doing mathematics, Frege’s judgement was probably correct. The main defects of \(\supset\) don’t show up in mathematics. There are some peculiarities, but as long as we are aware of them, they can be lived with. And arguably, the gain in simplicity and clarity more than offsets the oddities.