refactoring assertion