"Banach"]