Da li je ovo dovoljno za sigurnost u više niti ako u klasi postoje dva atributa sa invariantom (jedan je strogo manji od drugog), svaki zaštićen AtomicInteger?