Fixed that for you. I had good informatics teachers 10 years ago.

> quantitative reasoning

As in complexity of sorting functions? We did that, non-rigorously.

I just don't see how, say, meiosis and mitoses or vulkanism are any more mandatory to learn than e.g. Codd's normal forms or the workings of an ALU.