Re: [Foundation-l] Astonished by the so-called principle of least astonishment