assertions file added