  We have provided a pure model-theoretic proof for the decidability of the
additive structure of the integers together with the function {f} sending {x}
to {[\phi x]} where {\phi} is the golden ratio.
