>>14195281I could make something a lot better than the OP but it would still be jarring to most people here.
For example, the placement of choice in
>>14195258 is correct, because the first time you use it is for proving there's a basis for every vector space, but it's still fucking weird to put it there.
