finished assertions