Refactoring with Checks