<pre>
In first-order logic, find a predicate P(x) which means "x is a power of 10."

[[RecPuzzlesHofstadlerSolution]]
</pre>
