for V, A being set holds {} is NonatomicND of V,A