... justified assertions