adding assertions