order independence operator updated with the best effort choice policy