Proof-Of-Work mining is analogous to logic. It is easy to tell that a logical deduction, or chain of reasoning is logical. It is difficult to construct a logical chain of reasoning. POW lets computers be logical?