Delete gratuitous slime
Add specs for tokenization