Dmytry comments on On accepting an argument if you have limited computational power.

[Dmytry]

Computer running automatic theorem prover ;)