コマンドを順番に適応していくことでwriteも一応扱えるが、
ルール同士の順番や再帰的な処理になるため結構制限があるという話。