Det är allt borta lite Good Will Hunting över på Twitter där ett ekvationsbevisande konto är dagens novelty.

Den som står bakom @TinyProof får oss att känna sig hjärnans utmanade med sina 140-karaktärsliknande lösningar.

Kontot anger att det är komplicerat matematiska ekvationer för ditt tweeting pleasure och innehåller sådana juveler som "Anta att f: A -> P (A) är på och låt B = x ∈ A | x ∉ f (x). Med antagandet finns en x ∈ En sådan att f (x) = B. Då x ∈ B iff x ∉ B."

Det är precis vad vi skulle diskutera. Njut av.