The physical world is still more difficult and messy than discrete logic (theorems, software).