extendet assertions