diff --git a/include/anthem/Context.h b/include/anthem/Context.h
index 7ed2cb4..eb09cc0 100644
--- a/include/anthem/Context.h
+++ b/include/anthem/Context.h
@@ -19,7 +19,7 @@ struct Context
 	output::Logger logger;
 
 	std::vector<const Clingo::AST::Term *> headTerms;
-	size_t auxiliaryBodyLiteralID = 0;
+	size_t auxiliaryBodyLiteralID = 1;
 };
 
 ////////////////////////////////////////////////////////////////////////////////////////////////////
diff --git a/include/anthem/Head.h b/include/anthem/Head.h
index b06b478..e713b4a 100644
--- a/include/anthem/Head.h
+++ b/include/anthem/Head.h
@@ -175,7 +175,7 @@ struct TermPrintSubstitutedVisitor
 
 			assert(matchingTerm != context.headTerms.cend());
 
-			const auto variableName = std::string(AuxiliaryHeadVariablePrefix) + std::to_string(matchingTerm - context.headTerms.cbegin());
+			const auto variableName = std::string(AuxiliaryHeadVariablePrefix) + std::to_string(matchingTerm - context.headTerms.cbegin() + 1);
 
 			outputStream << output::Variable(variableName.c_str());
 		}
diff --git a/include/anthem/StatementVisitor.h b/include/anthem/StatementVisitor.h
index a9d9d2a..255bde5 100644
--- a/include/anthem/StatementVisitor.h
+++ b/include/anthem/StatementVisitor.h
@@ -46,7 +46,7 @@ struct StatementVisitor
 				if (i != context.headTerms.cbegin())
 					outputStream << ", ";
 
-				const auto variableName = std::string(AuxiliaryHeadVariablePrefix) + std::to_string(i - context.headTerms.cbegin());
+				const auto variableName = std::string(AuxiliaryHeadVariablePrefix) + std::to_string(i - context.headTerms.cbegin() + 1);
 
 				outputStream
 					<< output::Variable(variableName.c_str())