It's more or less like that, but I can't be sure of that because when a coin is staked the party receiving the coin can also make trades on it to reach the desired target, even though the payout is also in the same coin, so it can't always be mined