for all x, you are an idiot.

there exists y such that shut up!

for every property C, it is true that YOUR MOM!

what we chiefly need is the predicate calculus.

hello here i am!

...

who are you?

i am the predicate calculus!

no, you are an abacus.

o.

abacus!