diff --git a/src/format_tptp.rs b/src/format_tptp.rs
index 93ff55b..a53bd59 100644
--- a/src/format_tptp.rs
+++ b/src/format_tptp.rs
@@ -294,8 +294,8 @@ impl<'a> std::fmt::Debug for VariableDeclarationDisplay<'a>
 	{
 		match &self.0.domain
 		{
-			foliage::Domain::Program => write!(format, "X{}: object", self.0.name),
-			foliage::Domain::Integer => write!(format, "N{}: $int", self.0.name),
+			foliage::Domain::Program => write!(format, "{}: object", self.0.name),
+			foliage::Domain::Integer => write!(format, "{}: $int", self.0.name),
 		}
 	}
 }
@@ -347,8 +347,8 @@ impl<'a> std::fmt::Debug for TermDisplay<'a>
 			foliage::Term::String(ref value) => write!(format, "\"{}\"", value),
 			foliage::Term::Variable(ref declaration) => match declaration.domain
 			{
-				foliage::Domain::Program => write!(format, "X{}", declaration.name),
-				foliage::Domain::Integer => write!(format, "N{}", declaration.name),
+				foliage::Domain::Program => write!(format, "{}", declaration.name),
+				foliage::Domain::Integer => write!(format, "{}", declaration.name),
 			},
 			foliage::Term::Add(ref left, ref right) => write!(format, "$sum({:?}, {:?})", (&**left).display_tptp(), right.display_tptp()),
 			foliage::Term::Subtract(ref left, ref right) => write!(format, "$difference({:?}, {:?})", left.display_tptp(), right.display_tptp()),