Yes, correct.  However the vast majority of coins are not yet in the market.  The ICO wallets are still locked. 

Also, mining has already gotten exponentially harder.