Tio dubbelt-renadt ) , Allasorters