diff --git a/Assets/Cryville/Common/Pdt/PdtExpression.cs b/Assets/Cryville/Common/Pdt/PdtExpression.cs
index 4d52be4..93ff05c 100644
--- a/Assets/Cryville/Common/Pdt/PdtExpression.cs
+++ b/Assets/Cryville/Common/Pdt/PdtExpression.cs
@@ -58,7 +58,7 @@ namespace Cryville.Common.Pdt {
 				etor.PushVariable(Name);
 			}
 			public override string ToString() {
-				return string.Format("pushv {0}", Name);
+				return string.Format("pushv {0}", IdentifierManager.SharedInstance.Retrieve(Name));
 			}
 		}
 		public class Operate : PdtInstruction {
@@ -84,7 +84,7 @@ namespace Cryville.Common.Pdt {
 				etor.Collapse(Name, Target);
 			}
 			public override string ToString() {
-				return string.Format("col {0}{{{1}}}", Name, Target.Value);
+				return string.Format("col {0}{{{1}}}", IdentifierManager.SharedInstance.Retrieve(Name), Target.Value);
 			}
 		}
 	}
diff --git a/Assets/Cryville/Common/Pdt/PdtOperator.cs b/Assets/Cryville/Common/Pdt/PdtOperator.cs
index 05de7bc..ac48982 100644
--- a/Assets/Cryville/Common/Pdt/PdtOperator.cs
+++ b/Assets/Cryville/Common/Pdt/PdtOperator.cs
@@ -115,7 +115,7 @@ namespace Cryville.Common.Pdt {
 			return _hash;
 		}
 		public override string ToString() {
-			return string.Format("{0}({1})", Name, ParamCount);
+			return string.Format("{0}({1})", IdentifierManager.SharedInstance.Retrieve(Name), ParamCount);
 		}
 	}
 }
\ No newline at end of file
diff --git a/Assets/Cryville/Crtr/Judge.cs b/Assets/Cryville/Crtr/Judge.cs
index 40afd6f..76a8311 100644
--- a/Assets/Cryville/Crtr/Judge.cs
+++ b/Assets/Cryville/Crtr/Judge.cs
@@ -31,7 +31,7 @@ namespace Cryville.Crtr {
 			bool flag = false;
 			string result = "";
 			foreach (var s in GetFormattedScoreStrings()) {
-				result += string.Format(flag ? "\n{0}: {1}" : "{0}: {1}", s.Key, s.Value);
+				result += string.Format(flag ? "\n{0}: {1}" : "{0}: {1}", IdentifierManager.SharedInstance.Retrieve(s.Key), s.Value);
 				flag = true;
 			}
 			return result;
diff --git a/Assets/Cryville/Crtr/Ruleset.cs b/Assets/Cryville/Crtr/Ruleset.cs
index f83abfe..ce486e9 100644
--- a/Assets/Cryville/Crtr/Ruleset.cs
+++ b/Assets/Cryville/Crtr/Ruleset.cs
@@ -121,9 +121,9 @@ namespace Cryville.Crtr {
 		}
 		public override string ToString() {
 			switch (Type) {
-				case PropertyType.Property: return Name.ToString();
-				case PropertyType.Variable: return string.Format("@var {0}", Name);
-				default: return string.Format("<{0}> {1}", Type, Name);
+				case PropertyType.Property: return (string)IdentifierManager.SharedInstance.Retrieve(Name);
+				case PropertyType.Variable: return string.Format("@var {0}", IdentifierManager.SharedInstance.Retrieve(Name));
+				default: return string.Format("<{0}> {1}", Type, IdentifierManager.SharedInstance.Retrieve(Name));
 			}
 		}
 	}