SMT: The Right Way to do a Token Distribution