diff --git a/reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/MatchJournalImpl.kt b/reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/MatchJournalImpl.kt
index 7b6be627..2cd58d9d 100644
--- a/reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/MatchJournalImpl.kt
+++ b/reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/MatchJournalImpl.kt
@@ -215,7 +215,6 @@ internal open class MatchJournalImpl(
             override fun kind(): Kind = Kind.PROPAGATION
             override fun uniqueTag(): Any = tag().hashCode()
             override fun tag(): String = "initialrule${"initialrule".hashCode()}"
-            override fun basetag(): String = tag()
             override fun headKept(): Iterable<Constraint> = emptyList()
             override fun headReplaced(): Iterable<Constraint> = emptyList()
             override fun guard(): Iterable<Predicate> = emptyList()
diff --git a/reactor/Core/src/jetbrains/mps/logic/reactor/program/Rule.java b/reactor/Core/src/jetbrains/mps/logic/reactor/program/Rule.java
index 95dbc4ba..eea88f20 100644
--- a/reactor/Core/src/jetbrains/mps/logic/reactor/program/Rule.java
+++ b/reactor/Core/src/jetbrains/mps/logic/reactor/program/Rule.java
@@ -50,16 +50,6 @@ public abstract class Rule {
      */
     public abstract String tag();
 
-    /**
-     * Human-readable identifier shared by all rules produced from the same template.
-     */
-    public abstract String basetag();
-
-    /**
-     * An origin serves as justification for all constraints affected by this rule.
-     */
-    public Object origin() { return null; }
-
     public abstract Iterable<Constraint> headKept();
 
     public abstract Iterable<Constraint> headReplaced();
diff --git a/reactor/Test/src/program/MockProgram.kt b/reactor/Test/src/program/MockProgram.kt
index 2a99f074..2ff70d12 100644
--- a/reactor/Test/src/program/MockProgram.kt
+++ b/reactor/Test/src/program/MockProgram.kt
@@ -89,8 +89,6 @@ class MockRule(
 
     override fun tag(): String = tag
 
-    override fun basetag(): String = tag
-
     override fun headKept(): Iterable<Constraint> = kept
 
     override fun headReplaced(): Iterable<Constraint> = replaced