NAL9 optimizations, atomic terms