From 9cda9f594d97030fb053e2e52ceeb3647d24c2a9 Mon Sep 17 00:00:00 2001
From: "sergei.winitzki" <sergei.winitzki@workday.com>
Date: Mon, 9 Nov 2020 00:16:55 +0100
Subject: [PATCH] copy lyx headers to chapter files

---
 sofp-src/sofp-appendices.lyx             | 33 +++++++++++++++++++-----
 sofp-src/sofp-applicative.lyx            | 33 +++++++++++++++++++-----
 sofp-src/sofp-coinductive.lyx            | 33 +++++++++++++++++++-----
 sofp-src/sofp-curry-howard.lyx           | 33 +++++++++++++++++++-----
 sofp-src/sofp-disjunctions.lyx           | 33 +++++++++++++++++++-----
 sofp-src/sofp-essays.lyx                 | 33 +++++++++++++++++++-----
 sofp-src/sofp-filterable.lyx             | 33 +++++++++++++++++++-----
 sofp-src/sofp-free-type.lyx              | 33 +++++++++++++++++++-----
 sofp-src/sofp-functors.lyx               | 33 +++++++++++++++++++-----
 sofp-src/sofp-higher-order-functions.lyx | 33 +++++++++++++++++++-----
 sofp-src/sofp-induction.lyx              | 33 +++++++++++++++++++-----
 sofp-src/sofp-irregular.lyx              | 33 +++++++++++++++++++-----
 sofp-src/sofp-monads.lyx                 | 33 +++++++++++++++++++-----
 sofp-src/sofp-nameless-functions.lyx     | 33 +++++++++++++++++++-----
 sofp-src/sofp-preface.lyx                | 33 +++++++++++++++++++-----
 sofp-src/sofp-reasoning.lyx              | 33 +++++++++++++++++++-----
 sofp-src/sofp-recursive.lyx              | 33 +++++++++++++++++++-----
 sofp-src/sofp-summary.lyx                | 33 +++++++++++++++++++-----
 sofp-src/sofp-transformers.lyx           | 33 +++++++++++++++++++-----
 sofp-src/sofp-traversable.lyx            | 33 +++++++++++++++++++-----
 sofp-src/sofp-typeclasses.lyx            | 33 +++++++++++++++++++-----
 21 files changed, 567 insertions(+), 126 deletions(-)

diff --git a/sofp-src/sofp-appendices.lyx b/sofp-src/sofp-appendices.lyx
index beadf77a1..00e3f7720 100644
--- a/sofp-src/sofp-appendices.lyx
+++ b/sofp-src/sofp-appendices.lyx
@@ -17,14 +17,35 @@
 \usepackage{pstricks}
 
 % Fix the numbering of exercises: subsubsections appear as paragraphs but are numbered.
-\usepackage{titlesec}
+%\usepackage{titlesec} % Incompatible with komascript's later versions?
 % See https://tex.stackexchange.com/questions/7627/how-to-reference-paragraph
 % See the `titlesec` package documentation at http://www.ctex.org/documents/packages/layout/titlesec.pdf
-\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
-\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
-\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+%\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
+%\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
+%\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+
+\renewcommand*{\subsubsectionformat}{}
+\RedeclareSectionCommand[ % Statement 1.2.3.4
+  runin=true,
+  afterskip=2ex,
+  beforeskip=2.5pt plus 0.3pt minus 0.05pt,
+  afterindent=false,
+  font={\normalfont\normalsize\bfseries}
+]{subsubsection}
+\RedeclareSectionCommand[ % Proof
+  runin=true,
+  font={\normalfont\normalsize\bfseries},
+  afterindent=false,
+  afterskip=2ex,
+  beforeskip=0pt
+]{subparagraph}
+\RedeclareSectionCommand[
+  runin=true,
+  afterskip=1.3ex,
+  beforeskip=0pt
+]{paragraph}
 
 % Make page headers and page numbers smaller
 \addtokomafont{pagehead}{\small}
diff --git a/sofp-src/sofp-applicative.lyx b/sofp-src/sofp-applicative.lyx
index c1aa3bac7..cf59ae5fe 100644
--- a/sofp-src/sofp-applicative.lyx
+++ b/sofp-src/sofp-applicative.lyx
@@ -17,14 +17,35 @@
 \usepackage{pstricks}
 
 % Fix the numbering of exercises: subsubsections appear as paragraphs but are numbered.
-\usepackage{titlesec}
+%\usepackage{titlesec} % Incompatible with komascript's later versions?
 % See https://tex.stackexchange.com/questions/7627/how-to-reference-paragraph
 % See the `titlesec` package documentation at http://www.ctex.org/documents/packages/layout/titlesec.pdf
-\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
-\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
-\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+%\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
+%\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
+%\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+
+\renewcommand*{\subsubsectionformat}{}
+\RedeclareSectionCommand[ % Statement 1.2.3.4
+  runin=true,
+  afterskip=2ex,
+  beforeskip=2.5pt plus 0.3pt minus 0.05pt,
+  afterindent=false,
+  font={\normalfont\normalsize\bfseries}
+]{subsubsection}
+\RedeclareSectionCommand[ % Proof
+  runin=true,
+  font={\normalfont\normalsize\bfseries},
+  afterindent=false,
+  afterskip=2ex,
+  beforeskip=0pt
+]{subparagraph}
+\RedeclareSectionCommand[
+  runin=true,
+  afterskip=1.3ex,
+  beforeskip=0pt
+]{paragraph}
 
 % Make page headers and page numbers smaller
 \addtokomafont{pagehead}{\small}
diff --git a/sofp-src/sofp-coinductive.lyx b/sofp-src/sofp-coinductive.lyx
index c53edc230..b5fb7971e 100644
--- a/sofp-src/sofp-coinductive.lyx
+++ b/sofp-src/sofp-coinductive.lyx
@@ -17,14 +17,35 @@
 \usepackage{pstricks}
 
 % Fix the numbering of exercises: subsubsections appear as paragraphs but are numbered.
-\usepackage{titlesec}
+%\usepackage{titlesec} % Incompatible with komascript's later versions?
 % See https://tex.stackexchange.com/questions/7627/how-to-reference-paragraph
 % See the `titlesec` package documentation at http://www.ctex.org/documents/packages/layout/titlesec.pdf
-\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
-\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
-\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+%\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
+%\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
+%\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+
+\renewcommand*{\subsubsectionformat}{}
+\RedeclareSectionCommand[ % Statement 1.2.3.4
+  runin=true,
+  afterskip=2ex,
+  beforeskip=2.5pt plus 0.3pt minus 0.05pt,
+  afterindent=false,
+  font={\normalfont\normalsize\bfseries}
+]{subsubsection}
+\RedeclareSectionCommand[ % Proof
+  runin=true,
+  font={\normalfont\normalsize\bfseries},
+  afterindent=false,
+  afterskip=2ex,
+  beforeskip=0pt
+]{subparagraph}
+\RedeclareSectionCommand[
+  runin=true,
+  afterskip=1.3ex,
+  beforeskip=0pt
+]{paragraph}
 
 % Make page headers and page numbers smaller
 \addtokomafont{pagehead}{\small}
diff --git a/sofp-src/sofp-curry-howard.lyx b/sofp-src/sofp-curry-howard.lyx
index 9afea3ccf..c96d0ac85 100644
--- a/sofp-src/sofp-curry-howard.lyx
+++ b/sofp-src/sofp-curry-howard.lyx
@@ -17,14 +17,35 @@
 \usepackage{pstricks}
 
 % Fix the numbering of exercises: subsubsections appear as paragraphs but are numbered.
-\usepackage{titlesec}
+%\usepackage{titlesec} % Incompatible with komascript's later versions?
 % See https://tex.stackexchange.com/questions/7627/how-to-reference-paragraph
 % See the `titlesec` package documentation at http://www.ctex.org/documents/packages/layout/titlesec.pdf
-\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
-\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
-\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+%\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
+%\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
+%\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+
+\renewcommand*{\subsubsectionformat}{}
+\RedeclareSectionCommand[ % Statement 1.2.3.4
+  runin=true,
+  afterskip=2ex,
+  beforeskip=2.5pt plus 0.3pt minus 0.05pt,
+  afterindent=false,
+  font={\normalfont\normalsize\bfseries}
+]{subsubsection}
+\RedeclareSectionCommand[ % Proof
+  runin=true,
+  font={\normalfont\normalsize\bfseries},
+  afterindent=false,
+  afterskip=2ex,
+  beforeskip=0pt
+]{subparagraph}
+\RedeclareSectionCommand[
+  runin=true,
+  afterskip=1.3ex,
+  beforeskip=0pt
+]{paragraph}
 
 % Make page headers and page numbers smaller
 \addtokomafont{pagehead}{\small}
diff --git a/sofp-src/sofp-disjunctions.lyx b/sofp-src/sofp-disjunctions.lyx
index 98d02d66e..c4c0204d3 100644
--- a/sofp-src/sofp-disjunctions.lyx
+++ b/sofp-src/sofp-disjunctions.lyx
@@ -17,14 +17,35 @@
 \usepackage{pstricks}
 
 % Fix the numbering of exercises: subsubsections appear as paragraphs but are numbered.
-\usepackage{titlesec}
+%\usepackage{titlesec} % Incompatible with komascript's later versions?
 % See https://tex.stackexchange.com/questions/7627/how-to-reference-paragraph
 % See the `titlesec` package documentation at http://www.ctex.org/documents/packages/layout/titlesec.pdf
-\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
-\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
-\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+%\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
+%\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
+%\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+
+\renewcommand*{\subsubsectionformat}{}
+\RedeclareSectionCommand[ % Statement 1.2.3.4
+  runin=true,
+  afterskip=2ex,
+  beforeskip=2.5pt plus 0.3pt minus 0.05pt,
+  afterindent=false,
+  font={\normalfont\normalsize\bfseries}
+]{subsubsection}
+\RedeclareSectionCommand[ % Proof
+  runin=true,
+  font={\normalfont\normalsize\bfseries},
+  afterindent=false,
+  afterskip=2ex,
+  beforeskip=0pt
+]{subparagraph}
+\RedeclareSectionCommand[
+  runin=true,
+  afterskip=1.3ex,
+  beforeskip=0pt
+]{paragraph}
 
 % Make page headers and page numbers smaller
 \addtokomafont{pagehead}{\small}
diff --git a/sofp-src/sofp-essays.lyx b/sofp-src/sofp-essays.lyx
index b78e4fe23..b062e6e1b 100644
--- a/sofp-src/sofp-essays.lyx
+++ b/sofp-src/sofp-essays.lyx
@@ -17,14 +17,35 @@
 \usepackage{pstricks}
 
 % Fix the numbering of exercises: subsubsections appear as paragraphs but are numbered.
-\usepackage{titlesec}
+%\usepackage{titlesec} % Incompatible with komascript's later versions?
 % See https://tex.stackexchange.com/questions/7627/how-to-reference-paragraph
 % See the `titlesec` package documentation at http://www.ctex.org/documents/packages/layout/titlesec.pdf
-\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
-\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
-\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+%\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
+%\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
+%\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+
+\renewcommand*{\subsubsectionformat}{}
+\RedeclareSectionCommand[ % Statement 1.2.3.4
+  runin=true,
+  afterskip=2ex,
+  beforeskip=2.5pt plus 0.3pt minus 0.05pt,
+  afterindent=false,
+  font={\normalfont\normalsize\bfseries}
+]{subsubsection}
+\RedeclareSectionCommand[ % Proof
+  runin=true,
+  font={\normalfont\normalsize\bfseries},
+  afterindent=false,
+  afterskip=2ex,
+  beforeskip=0pt
+]{subparagraph}
+\RedeclareSectionCommand[
+  runin=true,
+  afterskip=1.3ex,
+  beforeskip=0pt
+]{paragraph}
 
 % Make page headers and page numbers smaller
 \addtokomafont{pagehead}{\small}
diff --git a/sofp-src/sofp-filterable.lyx b/sofp-src/sofp-filterable.lyx
index 69530f02e..a2ecf2e11 100644
--- a/sofp-src/sofp-filterable.lyx
+++ b/sofp-src/sofp-filterable.lyx
@@ -17,14 +17,35 @@
 \usepackage{pstricks}
 
 % Fix the numbering of exercises: subsubsections appear as paragraphs but are numbered.
-\usepackage{titlesec}
+%\usepackage{titlesec} % Incompatible with komascript's later versions?
 % See https://tex.stackexchange.com/questions/7627/how-to-reference-paragraph
 % See the `titlesec` package documentation at http://www.ctex.org/documents/packages/layout/titlesec.pdf
-\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
-\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
-\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+%\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
+%\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
+%\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+
+\renewcommand*{\subsubsectionformat}{}
+\RedeclareSectionCommand[ % Statement 1.2.3.4
+  runin=true,
+  afterskip=2ex,
+  beforeskip=2.5pt plus 0.3pt minus 0.05pt,
+  afterindent=false,
+  font={\normalfont\normalsize\bfseries}
+]{subsubsection}
+\RedeclareSectionCommand[ % Proof
+  runin=true,
+  font={\normalfont\normalsize\bfseries},
+  afterindent=false,
+  afterskip=2ex,
+  beforeskip=0pt
+]{subparagraph}
+\RedeclareSectionCommand[
+  runin=true,
+  afterskip=1.3ex,
+  beforeskip=0pt
+]{paragraph}
 
 % Make page headers and page numbers smaller
 \addtokomafont{pagehead}{\small}
diff --git a/sofp-src/sofp-free-type.lyx b/sofp-src/sofp-free-type.lyx
index b189ce6d6..ed49bfbe0 100644
--- a/sofp-src/sofp-free-type.lyx
+++ b/sofp-src/sofp-free-type.lyx
@@ -17,14 +17,35 @@
 \usepackage{pstricks}
 
 % Fix the numbering of exercises: subsubsections appear as paragraphs but are numbered.
-\usepackage{titlesec}
+%\usepackage{titlesec} % Incompatible with komascript's later versions?
 % See https://tex.stackexchange.com/questions/7627/how-to-reference-paragraph
 % See the `titlesec` package documentation at http://www.ctex.org/documents/packages/layout/titlesec.pdf
-\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
-\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
-\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+%\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
+%\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
+%\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+
+\renewcommand*{\subsubsectionformat}{}
+\RedeclareSectionCommand[ % Statement 1.2.3.4
+  runin=true,
+  afterskip=2ex,
+  beforeskip=2.5pt plus 0.3pt minus 0.05pt,
+  afterindent=false,
+  font={\normalfont\normalsize\bfseries}
+]{subsubsection}
+\RedeclareSectionCommand[ % Proof
+  runin=true,
+  font={\normalfont\normalsize\bfseries},
+  afterindent=false,
+  afterskip=2ex,
+  beforeskip=0pt
+]{subparagraph}
+\RedeclareSectionCommand[
+  runin=true,
+  afterskip=1.3ex,
+  beforeskip=0pt
+]{paragraph}
 
 % Make page headers and page numbers smaller
 \addtokomafont{pagehead}{\small}
diff --git a/sofp-src/sofp-functors.lyx b/sofp-src/sofp-functors.lyx
index 06726a6a9..7c728b119 100644
--- a/sofp-src/sofp-functors.lyx
+++ b/sofp-src/sofp-functors.lyx
@@ -17,14 +17,35 @@
 \usepackage{pstricks}
 
 % Fix the numbering of exercises: subsubsections appear as paragraphs but are numbered.
-\usepackage{titlesec}
+%\usepackage{titlesec} % Incompatible with komascript's later versions?
 % See https://tex.stackexchange.com/questions/7627/how-to-reference-paragraph
 % See the `titlesec` package documentation at http://www.ctex.org/documents/packages/layout/titlesec.pdf
-\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
-\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
-\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+%\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
+%\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
+%\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+
+\renewcommand*{\subsubsectionformat}{}
+\RedeclareSectionCommand[ % Statement 1.2.3.4
+  runin=true,
+  afterskip=2ex,
+  beforeskip=2.5pt plus 0.3pt minus 0.05pt,
+  afterindent=false,
+  font={\normalfont\normalsize\bfseries}
+]{subsubsection}
+\RedeclareSectionCommand[ % Proof
+  runin=true,
+  font={\normalfont\normalsize\bfseries},
+  afterindent=false,
+  afterskip=2ex,
+  beforeskip=0pt
+]{subparagraph}
+\RedeclareSectionCommand[
+  runin=true,
+  afterskip=1.3ex,
+  beforeskip=0pt
+]{paragraph}
 
 % Make page headers and page numbers smaller
 \addtokomafont{pagehead}{\small}
diff --git a/sofp-src/sofp-higher-order-functions.lyx b/sofp-src/sofp-higher-order-functions.lyx
index 167510b0d..e7bb4d00f 100644
--- a/sofp-src/sofp-higher-order-functions.lyx
+++ b/sofp-src/sofp-higher-order-functions.lyx
@@ -17,14 +17,35 @@
 \usepackage{pstricks}
 
 % Fix the numbering of exercises: subsubsections appear as paragraphs but are numbered.
-\usepackage{titlesec}
+%\usepackage{titlesec} % Incompatible with komascript's later versions?
 % See https://tex.stackexchange.com/questions/7627/how-to-reference-paragraph
 % See the `titlesec` package documentation at http://www.ctex.org/documents/packages/layout/titlesec.pdf
-\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
-\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
-\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+%\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
+%\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
+%\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+
+\renewcommand*{\subsubsectionformat}{}
+\RedeclareSectionCommand[ % Statement 1.2.3.4
+  runin=true,
+  afterskip=2ex,
+  beforeskip=2.5pt plus 0.3pt minus 0.05pt,
+  afterindent=false,
+  font={\normalfont\normalsize\bfseries}
+]{subsubsection}
+\RedeclareSectionCommand[ % Proof
+  runin=true,
+  font={\normalfont\normalsize\bfseries},
+  afterindent=false,
+  afterskip=2ex,
+  beforeskip=0pt
+]{subparagraph}
+\RedeclareSectionCommand[
+  runin=true,
+  afterskip=1.3ex,
+  beforeskip=0pt
+]{paragraph}
 
 % Make page headers and page numbers smaller
 \addtokomafont{pagehead}{\small}
diff --git a/sofp-src/sofp-induction.lyx b/sofp-src/sofp-induction.lyx
index 68c633295..ea56a6059 100644
--- a/sofp-src/sofp-induction.lyx
+++ b/sofp-src/sofp-induction.lyx
@@ -17,14 +17,35 @@
 \usepackage{pstricks}
 
 % Fix the numbering of exercises: subsubsections appear as paragraphs but are numbered.
-\usepackage{titlesec}
+%\usepackage{titlesec} % Incompatible with komascript's later versions?
 % See https://tex.stackexchange.com/questions/7627/how-to-reference-paragraph
 % See the `titlesec` package documentation at http://www.ctex.org/documents/packages/layout/titlesec.pdf
-\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
-\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
-\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+%\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
+%\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
+%\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+
+\renewcommand*{\subsubsectionformat}{}
+\RedeclareSectionCommand[ % Statement 1.2.3.4
+  runin=true,
+  afterskip=2ex,
+  beforeskip=2.5pt plus 0.3pt minus 0.05pt,
+  afterindent=false,
+  font={\normalfont\normalsize\bfseries}
+]{subsubsection}
+\RedeclareSectionCommand[ % Proof
+  runin=true,
+  font={\normalfont\normalsize\bfseries},
+  afterindent=false,
+  afterskip=2ex,
+  beforeskip=0pt
+]{subparagraph}
+\RedeclareSectionCommand[
+  runin=true,
+  afterskip=1.3ex,
+  beforeskip=0pt
+]{paragraph}
 
 % Make page headers and page numbers smaller
 \addtokomafont{pagehead}{\small}
diff --git a/sofp-src/sofp-irregular.lyx b/sofp-src/sofp-irregular.lyx
index defe763ac..c3c0e3213 100644
--- a/sofp-src/sofp-irregular.lyx
+++ b/sofp-src/sofp-irregular.lyx
@@ -17,14 +17,35 @@
 \usepackage{pstricks}
 
 % Fix the numbering of exercises: subsubsections appear as paragraphs but are numbered.
-\usepackage{titlesec}
+%\usepackage{titlesec} % Incompatible with komascript's later versions?
 % See https://tex.stackexchange.com/questions/7627/how-to-reference-paragraph
 % See the `titlesec` package documentation at http://www.ctex.org/documents/packages/layout/titlesec.pdf
-\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
-\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
-\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+%\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
+%\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
+%\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+
+\renewcommand*{\subsubsectionformat}{}
+\RedeclareSectionCommand[ % Statement 1.2.3.4
+  runin=true,
+  afterskip=2ex,
+  beforeskip=2.5pt plus 0.3pt minus 0.05pt,
+  afterindent=false,
+  font={\normalfont\normalsize\bfseries}
+]{subsubsection}
+\RedeclareSectionCommand[ % Proof
+  runin=true,
+  font={\normalfont\normalsize\bfseries},
+  afterindent=false,
+  afterskip=2ex,
+  beforeskip=0pt
+]{subparagraph}
+\RedeclareSectionCommand[
+  runin=true,
+  afterskip=1.3ex,
+  beforeskip=0pt
+]{paragraph}
 
 % Make page headers and page numbers smaller
 \addtokomafont{pagehead}{\small}
diff --git a/sofp-src/sofp-monads.lyx b/sofp-src/sofp-monads.lyx
index d9715a2fb..19fec515c 100644
--- a/sofp-src/sofp-monads.lyx
+++ b/sofp-src/sofp-monads.lyx
@@ -17,14 +17,35 @@
 \usepackage{pstricks}
 
 % Fix the numbering of exercises: subsubsections appear as paragraphs but are numbered.
-\usepackage{titlesec}
+%\usepackage{titlesec} % Incompatible with komascript's later versions?
 % See https://tex.stackexchange.com/questions/7627/how-to-reference-paragraph
 % See the `titlesec` package documentation at http://www.ctex.org/documents/packages/layout/titlesec.pdf
-\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
-\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
-\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+%\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
+%\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
+%\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+
+\renewcommand*{\subsubsectionformat}{}
+\RedeclareSectionCommand[ % Statement 1.2.3.4
+  runin=true,
+  afterskip=2ex,
+  beforeskip=2.5pt plus 0.3pt minus 0.05pt,
+  afterindent=false,
+  font={\normalfont\normalsize\bfseries}
+]{subsubsection}
+\RedeclareSectionCommand[ % Proof
+  runin=true,
+  font={\normalfont\normalsize\bfseries},
+  afterindent=false,
+  afterskip=2ex,
+  beforeskip=0pt
+]{subparagraph}
+\RedeclareSectionCommand[
+  runin=true,
+  afterskip=1.3ex,
+  beforeskip=0pt
+]{paragraph}
 
 % Make page headers and page numbers smaller
 \addtokomafont{pagehead}{\small}
diff --git a/sofp-src/sofp-nameless-functions.lyx b/sofp-src/sofp-nameless-functions.lyx
index e65522876..da6cb6b14 100644
--- a/sofp-src/sofp-nameless-functions.lyx
+++ b/sofp-src/sofp-nameless-functions.lyx
@@ -17,14 +17,35 @@
 \usepackage{pstricks}
 
 % Fix the numbering of exercises: subsubsections appear as paragraphs but are numbered.
-\usepackage{titlesec}
+%\usepackage{titlesec} % Incompatible with komascript's later versions?
 % See https://tex.stackexchange.com/questions/7627/how-to-reference-paragraph
 % See the `titlesec` package documentation at http://www.ctex.org/documents/packages/layout/titlesec.pdf
-\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
-\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
-\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+%\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
+%\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
+%\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+
+\renewcommand*{\subsubsectionformat}{}
+\RedeclareSectionCommand[ % Statement 1.2.3.4
+  runin=true,
+  afterskip=2ex,
+  beforeskip=2.5pt plus 0.3pt minus 0.05pt,
+  afterindent=false,
+  font={\normalfont\normalsize\bfseries}
+]{subsubsection}
+\RedeclareSectionCommand[ % Proof
+  runin=true,
+  font={\normalfont\normalsize\bfseries},
+  afterindent=false,
+  afterskip=2ex,
+  beforeskip=0pt
+]{subparagraph}
+\RedeclareSectionCommand[
+  runin=true,
+  afterskip=1.3ex,
+  beforeskip=0pt
+]{paragraph}
 
 % Make page headers and page numbers smaller
 \addtokomafont{pagehead}{\small}
diff --git a/sofp-src/sofp-preface.lyx b/sofp-src/sofp-preface.lyx
index 2d8341c3a..e623ec733 100644
--- a/sofp-src/sofp-preface.lyx
+++ b/sofp-src/sofp-preface.lyx
@@ -17,14 +17,35 @@
 \usepackage{pstricks}
 
 % Fix the numbering of exercises: subsubsections appear as paragraphs but are numbered.
-\usepackage{titlesec}
+%\usepackage{titlesec} % Incompatible with komascript's later versions?
 % See https://tex.stackexchange.com/questions/7627/how-to-reference-paragraph
 % See the `titlesec` package documentation at http://www.ctex.org/documents/packages/layout/titlesec.pdf
-\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
-\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
-\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+%\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
+%\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
+%\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+
+\renewcommand*{\subsubsectionformat}{}
+\RedeclareSectionCommand[ % Statement 1.2.3.4
+  runin=true,
+  afterskip=2ex,
+  beforeskip=2.5pt plus 0.3pt minus 0.05pt,
+  afterindent=false,
+  font={\normalfont\normalsize\bfseries}
+]{subsubsection}
+\RedeclareSectionCommand[ % Proof
+  runin=true,
+  font={\normalfont\normalsize\bfseries},
+  afterindent=false,
+  afterskip=2ex,
+  beforeskip=0pt
+]{subparagraph}
+\RedeclareSectionCommand[
+  runin=true,
+  afterskip=1.3ex,
+  beforeskip=0pt
+]{paragraph}
 
 % Make page headers and page numbers smaller
 \addtokomafont{pagehead}{\small}
diff --git a/sofp-src/sofp-reasoning.lyx b/sofp-src/sofp-reasoning.lyx
index 280208801..5defe65c9 100644
--- a/sofp-src/sofp-reasoning.lyx
+++ b/sofp-src/sofp-reasoning.lyx
@@ -17,14 +17,35 @@
 \usepackage{pstricks}
 
 % Fix the numbering of exercises: subsubsections appear as paragraphs but are numbered.
-\usepackage{titlesec}
+%\usepackage{titlesec} % Incompatible with komascript's later versions?
 % See https://tex.stackexchange.com/questions/7627/how-to-reference-paragraph
 % See the `titlesec` package documentation at http://www.ctex.org/documents/packages/layout/titlesec.pdf
-\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
-\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
-\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+%\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
+%\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
+%\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+
+\renewcommand*{\subsubsectionformat}{}
+\RedeclareSectionCommand[ % Statement 1.2.3.4
+  runin=true,
+  afterskip=2ex,
+  beforeskip=2.5pt plus 0.3pt minus 0.05pt,
+  afterindent=false,
+  font={\normalfont\normalsize\bfseries}
+]{subsubsection}
+\RedeclareSectionCommand[ % Proof
+  runin=true,
+  font={\normalfont\normalsize\bfseries},
+  afterindent=false,
+  afterskip=2ex,
+  beforeskip=0pt
+]{subparagraph}
+\RedeclareSectionCommand[
+  runin=true,
+  afterskip=1.3ex,
+  beforeskip=0pt
+]{paragraph}
 
 % Make page headers and page numbers smaller
 \addtokomafont{pagehead}{\small}
diff --git a/sofp-src/sofp-recursive.lyx b/sofp-src/sofp-recursive.lyx
index 31788ce68..84b760463 100644
--- a/sofp-src/sofp-recursive.lyx
+++ b/sofp-src/sofp-recursive.lyx
@@ -17,14 +17,35 @@
 \usepackage{pstricks}
 
 % Fix the numbering of exercises: subsubsections appear as paragraphs but are numbered.
-\usepackage{titlesec}
+%\usepackage{titlesec} % Incompatible with komascript's later versions?
 % See https://tex.stackexchange.com/questions/7627/how-to-reference-paragraph
 % See the `titlesec` package documentation at http://www.ctex.org/documents/packages/layout/titlesec.pdf
-\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
-\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
-\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+%\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
+%\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
+%\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+
+\renewcommand*{\subsubsectionformat}{}
+\RedeclareSectionCommand[ % Statement 1.2.3.4
+  runin=true,
+  afterskip=2ex,
+  beforeskip=2.5pt plus 0.3pt minus 0.05pt,
+  afterindent=false,
+  font={\normalfont\normalsize\bfseries}
+]{subsubsection}
+\RedeclareSectionCommand[ % Proof
+  runin=true,
+  font={\normalfont\normalsize\bfseries},
+  afterindent=false,
+  afterskip=2ex,
+  beforeskip=0pt
+]{subparagraph}
+\RedeclareSectionCommand[
+  runin=true,
+  afterskip=1.3ex,
+  beforeskip=0pt
+]{paragraph}
 
 % Make page headers and page numbers smaller
 \addtokomafont{pagehead}{\small}
diff --git a/sofp-src/sofp-summary.lyx b/sofp-src/sofp-summary.lyx
index 42d7fb090..88efe7262 100644
--- a/sofp-src/sofp-summary.lyx
+++ b/sofp-src/sofp-summary.lyx
@@ -17,14 +17,35 @@
 \usepackage{pstricks}
 
 % Fix the numbering of exercises: subsubsections appear as paragraphs but are numbered.
-\usepackage{titlesec}
+%\usepackage{titlesec} % Incompatible with komascript's later versions?
 % See https://tex.stackexchange.com/questions/7627/how-to-reference-paragraph
 % See the `titlesec` package documentation at http://www.ctex.org/documents/packages/layout/titlesec.pdf
-\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
-\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
-\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+%\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
+%\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
+%\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+
+\renewcommand*{\subsubsectionformat}{}
+\RedeclareSectionCommand[ % Statement 1.2.3.4
+  runin=true,
+  afterskip=2ex,
+  beforeskip=2.5pt plus 0.3pt minus 0.05pt,
+  afterindent=false,
+  font={\normalfont\normalsize\bfseries}
+]{subsubsection}
+\RedeclareSectionCommand[ % Proof
+  runin=true,
+  font={\normalfont\normalsize\bfseries},
+  afterindent=false,
+  afterskip=2ex,
+  beforeskip=0pt
+]{subparagraph}
+\RedeclareSectionCommand[
+  runin=true,
+  afterskip=1.3ex,
+  beforeskip=0pt
+]{paragraph}
 
 % Make page headers and page numbers smaller
 \addtokomafont{pagehead}{\small}
diff --git a/sofp-src/sofp-transformers.lyx b/sofp-src/sofp-transformers.lyx
index 29f18b0d3..57d76754e 100644
--- a/sofp-src/sofp-transformers.lyx
+++ b/sofp-src/sofp-transformers.lyx
@@ -17,14 +17,35 @@
 \usepackage{pstricks}
 
 % Fix the numbering of exercises: subsubsections appear as paragraphs but are numbered.
-\usepackage{titlesec}
+%\usepackage{titlesec} % Incompatible with komascript's later versions?
 % See https://tex.stackexchange.com/questions/7627/how-to-reference-paragraph
 % See the `titlesec` package documentation at http://www.ctex.org/documents/packages/layout/titlesec.pdf
-\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
-\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
-\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+%\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
+%\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
+%\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+
+\renewcommand*{\subsubsectionformat}{}
+\RedeclareSectionCommand[ % Statement 1.2.3.4
+  runin=true,
+  afterskip=2ex,
+  beforeskip=2.5pt plus 0.3pt minus 0.05pt,
+  afterindent=false,
+  font={\normalfont\normalsize\bfseries}
+]{subsubsection}
+\RedeclareSectionCommand[ % Proof
+  runin=true,
+  font={\normalfont\normalsize\bfseries},
+  afterindent=false,
+  afterskip=2ex,
+  beforeskip=0pt
+]{subparagraph}
+\RedeclareSectionCommand[
+  runin=true,
+  afterskip=1.3ex,
+  beforeskip=0pt
+]{paragraph}
 
 % Make page headers and page numbers smaller
 \addtokomafont{pagehead}{\small}
diff --git a/sofp-src/sofp-traversable.lyx b/sofp-src/sofp-traversable.lyx
index 9151e8b38..5e3965f3b 100644
--- a/sofp-src/sofp-traversable.lyx
+++ b/sofp-src/sofp-traversable.lyx
@@ -17,14 +17,35 @@
 \usepackage{pstricks}
 
 % Fix the numbering of exercises: subsubsections appear as paragraphs but are numbered.
-\usepackage{titlesec}
+%\usepackage{titlesec} % Incompatible with komascript's later versions?
 % See https://tex.stackexchange.com/questions/7627/how-to-reference-paragraph
 % See the `titlesec` package documentation at http://www.ctex.org/documents/packages/layout/titlesec.pdf
-\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
-\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
-\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+%\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
+%\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
+%\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+
+\renewcommand*{\subsubsectionformat}{}
+\RedeclareSectionCommand[ % Statement 1.2.3.4
+  runin=true,
+  afterskip=2ex,
+  beforeskip=2.5pt plus 0.3pt minus 0.05pt,
+  afterindent=false,
+  font={\normalfont\normalsize\bfseries}
+]{subsubsection}
+\RedeclareSectionCommand[ % Proof
+  runin=true,
+  font={\normalfont\normalsize\bfseries},
+  afterindent=false,
+  afterskip=2ex,
+  beforeskip=0pt
+]{subparagraph}
+\RedeclareSectionCommand[
+  runin=true,
+  afterskip=1.3ex,
+  beforeskip=0pt
+]{paragraph}
 
 % Make page headers and page numbers smaller
 \addtokomafont{pagehead}{\small}
diff --git a/sofp-src/sofp-typeclasses.lyx b/sofp-src/sofp-typeclasses.lyx
index 52d751bbb..6ad618ea4 100644
--- a/sofp-src/sofp-typeclasses.lyx
+++ b/sofp-src/sofp-typeclasses.lyx
@@ -17,14 +17,35 @@
 \usepackage{pstricks}
 
 % Fix the numbering of exercises: subsubsections appear as paragraphs but are numbered.
-\usepackage{titlesec}
+%\usepackage{titlesec} % Incompatible with komascript's later versions?
 % See https://tex.stackexchange.com/questions/7627/how-to-reference-paragraph
 % See the `titlesec` package documentation at http://www.ctex.org/documents/packages/layout/titlesec.pdf
-\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
-\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
-\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
-\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+%\titleformat{\subsubsection}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subsubsection}{0pt}{5pt}{3\wordsep}
+%\titleformat{\subparagraph}[runin]{\normalfont\normalsize\bfseries}{}{0pt}{}
+%\titlespacing{\subparagraph}{\parindent}{\parskip}{3\wordsep}
+%\titlespacing{\paragraph}{0pt}{3pt}{2\wordsep}
+
+\renewcommand*{\subsubsectionformat}{}
+\RedeclareSectionCommand[ % Statement 1.2.3.4
+  runin=true,
+  afterskip=2ex,
+  beforeskip=2.5pt plus 0.3pt minus 0.05pt,
+  afterindent=false,
+  font={\normalfont\normalsize\bfseries}
+]{subsubsection}
+\RedeclareSectionCommand[ % Proof
+  runin=true,
+  font={\normalfont\normalsize\bfseries},
+  afterindent=false,
+  afterskip=2ex,
+  beforeskip=0pt
+]{subparagraph}
+\RedeclareSectionCommand[
+  runin=true,
+  afterskip=1.3ex,
+  beforeskip=0pt
+]{paragraph}
 
 % Make page headers and page numbers smaller
 \addtokomafont{pagehead}{\small}