Assertions properly imported