assertions simplified