make it clear that we talk about overall permutations
add ResetToken interface
we have to reset and fuzz non-optional tokens too