Token deletion functional and spec'd