Ständigt välsorteradt lag * raf