I'm in agreement about those examples, and maybe we agree overall to the extent that for me, "way more than formulas" includes working directly with data. I think the ability to interrogate data directly adds to the ability to think quantitatively. It was just not practical to do when I was in school. And the blizzard of formulas is an obstacle to learning for most students.