We don't do empirical experiments to see whether two plus one equals three.

我们不会在现实中做实验去看看二加一是不是等于三。