non-strict equality on progress