Este suficient pentru siguranța thread-urilor dacă în clasă există două câmpuri cu un invariant (unul fiind strict mai mic decât celălalt), fiecare protejat de AtomicInteger?