Prove that providing algorithm for token generation works.