Forgetting verification tools