refactored Assertions