Do informatics people use a different quantor syntax? ¬∃x(∀y(y∈x↔y∉y)) Doesn’t make any statement. The not shouldn’t be in the front. That doesn’t parse. You say: “not exists x[from undefined] such that for all y[from undefined][lack of |]y element from x exactly when y is not element in y” Round braces don’t belong.

Your username is a crime against math.

Only one of those is a function, get it right. () Call functions <> Specialize Templates, can be used to do compile time calls to things that behave like functions. [] Accesses elements {} Calls constructors, aka functions that do the initial setup.

Overloading these to do something else gets you in the naughty corner.

Edit: the implementation of the {} fuckery is no great. Just save the sum instead of all numbers.

That’s impossible to read on mobile devices.

… ? Cause customers don’t return baskets with a consistent orientation?

Piss egg

But why, also how long does it last? Seems like a pain to travel or sleep with.

… Why would you say that(referring to the title). Just makes people use derogatory language in their head for the lulz.

Still feels like you are struggling with saying a simple thing by using hyper specific language that excludes where it is not necessary or helpful.

Why not say “Trip is the first human male to get pregnant naturally.” Them being a cis man or beeb boob 🤖 doesn’t matter.

Male usually refers to biological sex. This is why you should use neither male nor female to refer to anyone or anything unless you explicitly mean just that.