Is it true that there are ETH guidelines for profs to sprinkle in random math/formulas into course contents just for the sake of it?