refactoring verification