locking is still non-monotonic :(