Constrain atomics more precisely