diff --git a/src/problem/section_kind.rs b/src/problem/section_kind.rs
index 6321f66..65b925f 100644
--- a/src/problem/section_kind.rs
+++ b/src/problem/section_kind.rs
@@ -10,14 +10,6 @@ pub enum SectionKind
 	Assertions,
 }
 
-impl SectionKind
-{
-	pub fn display_capitalized(&self) -> SectionKindCapitalizedDisplay
-	{
-		SectionKindCapitalizedDisplay(*self)
-	}
-}
-
 impl std::fmt::Debug for SectionKind
 {
 	fn fmt(&self, formatter: &mut std::fmt::Formatter) -> std::fmt::Result
@@ -41,29 +33,3 @@ impl std::fmt::Display for SectionKind
 		write!(formatter, "{:?}", self)
 	}
 }
-
-pub struct SectionKindCapitalizedDisplay(SectionKind);
-
-impl std::fmt::Debug for SectionKindCapitalizedDisplay
-{
-	fn fmt(&self, formatter: &mut std::fmt::Formatter) -> std::fmt::Result
-	{
-		match self.0
-		{
-			SectionKind::CompletedDefinitions => write!(formatter, "Completed definition"),
-			SectionKind::IntegrityConstraints => write!(formatter, "Integrity constraint"),
-			SectionKind::Axioms => write!(formatter, "Axiom"),
-			SectionKind::Assumptions => write!(formatter, "Assumption"),
-			SectionKind::Lemmas => write!(formatter, "Lemma"),
-			SectionKind::Assertions => write!(formatter, "Assertion"),
-		}
-	}
-}
-
-impl std::fmt::Display for SectionKindCapitalizedDisplay
-{
-	fn fmt(&self, formatter: &mut std::fmt::Formatter) -> std::fmt::Result
-	{
-		write!(formatter, "{:?}", self)
-	}
-}