@1 Amen! One should at least suspect [BS] when symbolism and other formal techniques that could easily be dispensed with without loss of rigor and with a great gain in readability are used anyway. …