Kravekma, Born of Salt

Flying
When Kravekma, Born of Salt enters the battlefield, create a Salt token, then you may
destroy an amount of nonland permanents less
than or equal to the number of Salt tokens you
control.
When Kravekma dies or is put into exile from the battlefield, you may put it into its owner's library
third from the top.