diff --git a/src/environments/fancythm.pysty b/src/environments/fancythm.pysty
deleted file mode 100644
index 3175b4c..0000000
--- a/src/environments/fancythm.pysty
+++ /dev/null
@@ -1,175 +0,0 @@
-__HEADER__(Theorem-Environment Package)
-%Provides fancy theorem-like-environments used in the write-ups of my lecture notes
-\ExplSyntaxOn
-
-%Required Packages and setup
-\RequirePackage{amsmath}
-\RequirePackage{amsthm}
-\RequirePackage{mdframed}
-\RequirePackage{thmtools}
-\RequirePackage[skins]{tcolorbox}
-\RequirePackage{xifthen}
-\RequirePackage{xparse}
-\RequirePackage{groupthm}
-\tcbuselibrary{breakable}
-
-
-% Counter management
-\cs_set_eq:NN \arabic:n \arabic
-\cs_set_eq:NN \counter_new:n \newcounter
-\cs_set_eq:NN \counter_within:nn \counterwithin
-\cs_new:Npn \counter_new:nn #1 #2
-  {
-    \counter_new:n { #1 }
-    \counter_within:nn { #1 } { #2 }
-  }
-\cs_set_eq:Nc \counter_alias:nn { @counteralias } % this is from thmtools
-\cs_set_eq:Nc \counter_undefined_error:n { @nocounterr }
-
-\cs_new:Npn \counter_if_exist_p:n #1 
-  {
-    \cs_if_exist_p:c { c@ #1 }
-  }
-\cs_new:Npn \counter_if_exist:nT #1
-{
-  \cs_if_exist:cT { c@ #1 }
-}
-\cs_new:Npn \counter_if_exist:nF #1
-{
-  \cs_if_exist:cF { c@ #1 }
-}
-\cs_new:Npn \counter_if_exist:nTF #1
-{
-  \cs_if_exist:cTF { c@ #1 }
-}
-
-\cs_new:Npn \counter_ensure_exist:n #1 
-{
-  \counter_if_exist:nF { #1 }
-  {
-    \counter_undefined_error:n { #1 }
-  }
-}
-\cs_new:Npn \counter_the:n #1
-  {
-    \use:c { the #1 }
-  }
-\cs_new:Npn \counter_set_the:nn #1 #2
-  {
-    \counter_ensure_exist:n { #1 }
-    \exp_args:Nc \renewcommand { the #1 } { #2 }
-  }
-\cs_new:Npn \counter_sub:nn #1 #2
-  {
-    \counter_within:nn { #1 } { #2 }
-    \counter_set_the:nn { #1 } 
-    {
-      \counter_the:n { #2 } . \arabic:n { #1 }
-    }
-  }
-
-\cs_new:Npn \@@_counter_sub_if_exist:n #1
-{
-  \counter_if_exist:nT { #1 }
-  {
-    \counter_sub:nn { in #1 } { #1 }
-  }
-}
-
-\counter_new:n { indocument }
-\counter_new_sub:nn { insection } { section }
-\counter_new_sub:nn { insubsection } { subsection }
-
-
-
-\keys_define:nn { fancythm }
-{
-  fancy       .bool_set : \l_@@_key_fancy_bool,
-  fancy       .default  : { true },
-  number ~ in     .choices:nn = { document, part, chapter, section, subsection }
-}
-
-
-\NewTheoremGroup
-  [
-    suffix = { * }
-  ] { star }
-
-\NewTheoremGroup
-  [
-    suffix = { $^{\dagger}$ }
-  ] { dagger }
-
-\NewTheoremGroup
-[
-  
-] { big }
-
-\NewTheoremGroup
-  { small }
-
-\NewTheoremGroup
-  { tiny }
-
-
-
-%%%% If requested, now define some default theoremstyles
-__IF__(defaulttheorems)
-    \RequirePackage[default styles]{mkessler-thmstyle} % Easy setup of mdframed styles
-
-    \declarebigtheorem{thmvioletmarginandfill}{notation}
-
-    %%%Environments that are not numbered by default (notation, question, example, remark etc) have two forms:
-    % - normal form: won't be numbered unless '__PACKAGE_PREFIX__numbersmallenvironments' is set
-    % - having an asterisk: will be displayed with an asterisk, will be numbered if 'numbersmallenvironments' is set
-    %Notation
-
-
-    %%%% Specially treated stuff
-
-    %%%%%%%% Other mdframed style boxes
-
-    \newtcolorbox{recap}{before skip = 0.5cm, after skip = 0.5cm, enhanced, sharp corners = all, colback = white, colframe = gray, toprule=0pt, bottomrule=0pt, leftrule=0pt,rightrule=0pt, overlay = {
-            \draw[gray, line width = 2pt] (frame.north west) -- ++(0.5cm, 0pt);
-            \draw[gray, line width=2pt] (frame.south east) -- ++(-0.5cm, 0pt);
-            \draw[gray, line width=2pt] (frame.north west) -- ++ (0pt, -0.5cm);
-            \draw[gray, line width=2pt] (frame.south east) -- ++(0pt, 0.5cm);
-    }}
-
-    \newenvironment{moral}{%
-        \begin{mdframed}[linecolor=green!70!black]%
-        \bfseries\color{green!50!black}}%
-        {\end{mdframed}}
-
-    \newenvironment{antimoral}{%
-        \begin{mdframed}[linecolor=red!70!black]%
-        \bfseries\color{red!50!black}}%
-        {\end{mdframed}}
-
-
-    %%%%%%%%%%%% Non-mdframed theorems
-
-    \theoremstyle{plain}
-    \newtheorem{variant}{__IF__(english) Variant\else Variante\fi}
-    \newtheorem{assumption}{__IF__(english) Assumption\else Annahme\fi}
-
-    \theoremstyle{definition}
-    \newtheorem*{note}{__IF__(english) Note\else Anmerkung\fi}
-    \newtheorem*{warning}{\color{red}__IF__(english) Warning \else Warnung\fi}
-    \newtheorem*{goal}{__IF__(english) Goal \else Ziel\fi}
-    \newtheorem*{strategy}{__IF__(english) Proof Strategy \else Beweisstrategie\fi}
-    \newtheorem*{goal*}{__IF__(english) Goal* \else Ziel*\fi}
-    \newtheorem*{problem}{Problem}
-    \newtheorem*{info}{Information}
-
-
-    \newtheorem*{answer}{__IF__(english) Answer\else Antwort\fi}
-    \newtheorem{observe}[theorem]{__IF__(english) Observe\else Beobachte\fi}
-    \newtheorem*{property}{__IF__(english) Property\else Eigenschaft\fi}
-    \newtheorem*{intuition}{Intuition}
-    \newtheorem*{recall}{__IF__(english) Recall\else Erinnerung\fi}
-    \newtheorem*{idea}{__IF__(english) Idea\else Idee\fi}
-    \newtheorem{exercise}{__IF__(english) Exercise\else Aufgabe\fi}[section]
-    \newtheorem{reminder}{__IF__(english) Reminder\else Erinnerung\fi}
-
-\fi % end of default theorems