analysis assert