first assertions