Adding assertions