dl comments on dynomight’s Shortform

[dl]

I’m just curious if it’s common for chain of thought to have so many math quantifiers like \exists. Or am I reading that wrong?