Ett ; välsorteradt lageraf