labor time > labor-time