assertion search