concurrent assertions