Alright /sfg/ you drive a hard bargain, you can take away special moves out of drive rush, but you must give one thing in return

Drive rush can now be cancelled into backdash

>>211971492
>it took months of courting
for some mid pussy

>>16700006
>we should reject all three
And then what? Suddenly all your proofs in the very basics of any discipline become unreasonably complicated just for some “philosophical” reason
>no Hamel basis guaranteed for every vector space
>some free modules are suddenly not free anymore, have to come up with tedious criteria to see what went wrong
>basically any result about lattices (topologies on a set, group lattices, ring ideals, manifold atlases, etc etc) is thrown out the window and you have to develop a whole framework for each to decide if a maximal element exists
>the only area not affected is analysis because Schauder bases of TVS can rely on Dependent Choice instead