14  Destruction rules and rewriting rules

14.1 Destruction rules

14.2 Rewriting rules