initial sketch of preVerifiedTokens