Kabir Kumar comments on Kabir Kumar’s Shortform

[Kabir Kumar]

give better names to actual formal math things, jesus christ.