More words on Haar and Schauder.