Varie over ALL(1)