Are you at least religious? Seems like a very specific subset of dating services.

Especially when you consider that computers are approximations of Turing machines.

Edit: typo

I would also add that "Apple technicians" is not a subset of "anyone capable".

Yes, I also noticed that example as something not like the others.

Proofs have structure, i.e., shape or form.

they have a logical structure (claim, lemma, lemma, proof, etc.). they do not have a shape in the sense that the person i responded to intends.

Works in Windows calculator.