normalize (All rn innerC) atomics = All rn (normalize innerC atomics)
normalize (All rn innerC) atomics = All rn (normalize innerC atomics)
normalize (All rn innerC) atomics = All rn (normalize innerC atomics)