Assert to be the case