SMT: The Wrong Way to do a Token Distribution