As for a calculus of rational thought: dream on Leibnitz.

• 而对于推理思维，就继续莱布尼兹的梦想吧。