zak能完整地背出圆周率——是倒着背。 zak口渴时会用巴拿赫-塔斯基悖论弄出更多橙汁。 zak不能理解随机过程，因为他能预测随机数。 询问zak一个命题是真的还是假的，构成了一个严格的证明。 有一次zak证明了一条公理，但他不喜欢它，所以他又证明了它是假命题。

@hahahahahahahaha