We are currently evaluating SymPy in Jupyter Notebooks as tool for teaching and from that experience I would add both simplicity for beginners as well as explicitness to the laundry list. Python and SymPy for example will simplify things they think is "trivial" (not so simple for teaching basics). Yet while you can be very explicit to counter such behavior, this will take away the simplicity.