update of the assertions