で、抽象書き換え系は?(-A-;)