activated assertions