add a new assertion