[mlrtime]

You are ignoring the possibility he got paid in SOL for some other work. Or the possibility the recipient of his SOL can buy dinner using SOL. This is all possible, even if unlikely.