The domain name

token.productions

is for sale!