he did not lose anything because if he does not sell at a loss, he still has the same coins he bought