Computer Algebra Systems in Our Schools: Some Axioms and Some Examples