Steady States and examples rewriting