5. 6. 7. That set Ratliffe on a quest for evidence that would tie his book subject to Nakamoto. 4.
4 is an odd number.
( z0 number :mod ( z1 odd ) :value 4 )
(z0 / number
    :mod (z1 / odd)
    :value 4)
4 is an odd number .
z0 :mod z1
z0 :value 0