diff --git a/docs/docs.pdf b/docs/docs.pdf
index 3bf9baf..545418c 100644
Binary files a/docs/docs.pdf and b/docs/docs.pdf differ
diff --git a/docs/parts/reference.tex b/docs/parts/reference.tex
index 52321b2..fa11b79 100644
--- a/docs/parts/reference.tex
+++ b/docs/parts/reference.tex
@@ -211,6 +211,22 @@ See \ref{sec:counters} for a guide on how to change the current number.
     \end{minted}
 \end{corollary}
 
+\begin{proposition}[]{Title here}
+    \begin{minted}{latex}
+        \begin{proposition}[]{Title here}
+            
+        \end{proposition}
+    \end{minted}
+\end{proposition}
+
+\begin{fact}[]{Title here}
+    \begin{minted}{latex}
+        \begin{fact}[]{Title here}
+            
+        \end{fact}
+    \end{minted}
+\end{fact}
+
 \begin{axiom}[]{Title here}
     \begin{minted}{latex}
         \begin{axiom}[]{Title here}
@@ -275,6 +291,8 @@ See \ref{sec:counters} for a guide on how to change the current number.
     \verb|\inlinetheorem| & \inlinetheorem\\
     \verb|\inlinelemma| & \inlinelemma\\
     \verb|\inlinecorollary| & \inlinecorollary\\
+    \verb|\inlineproposition| & \inlineproposition\\
+    \verb|\inlinefact| & \inlinefact\\
     \verb|\inlineaxiom| & \inlineaxiom\\
     \verb|\inlineproof| & \inlineproof\\
 \end{tables}
@@ -286,6 +304,8 @@ See \ref{sec:counters} for a guide on how to change the current number.
     \verb|\shorttheorem| & \shorttheorem\\
     \verb|\shortlemma| & \shortlemma\\
     \verb|\shortcorollary| & \shortcorollary\\
+    \verb|\shortproposition| & \shortproposition\\
+    \verb|\shortfact| & \shortfact\\
     \verb|\shortaxiom| & \shortaxiom\\
     \verb|\shortproof| & \shortproof\\
 \end{tables}
@@ -351,4 +371,4 @@ Use \verb|\setupGlossary| in the preamble to prepare, then use the normal glossa
 \subsubsection{Minted}
 \textit{Included in \texttt{full}}
 
-No extra configs or commands provided by this one, simply an import for minted. Be sure to enable \texttt{shell-escape} for your compiler!
\ No newline at end of file
+No extra configs or commands provided by this one, simply an import for minted. Be sure to enable \texttt{shell-escape} for your compiler!
diff --git a/main/style/counters.tex b/main/style/counters.tex
index 439b0b9..0399c96 100644
--- a/main/style/counters.tex
+++ b/main/style/counters.tex
@@ -12,6 +12,8 @@
 \newcounter{theorems}
 \newcounter{axioms}
 \newcounter{examples}
+\newcounter{facts}
+\newcounter{propositions}
 \newcounter{all}
 
 \newcommand{\useSubsection}{\ifnum\value{numberSubsections}>0{\arabic{subsection}.}\else{}\fi}
@@ -38,6 +40,8 @@
     \setcounter{theorems}{1}
     \setcounter{axioms}{1}
     \setcounter{examples}{1}
+    \setcounter{facts}{1}
+    \setcounter{propositions}{1}
     \setcounter{all}{1}
 }
 \newsectionNoPB
@@ -50,34 +54,50 @@
 \newtcolorbox{theorem}[2][]{mainboxstyle,colback=ForestGreen!5!white,colframe=ForestGreen!75!black,colbacktitle=ForestGreen!75!black,title={\large #2},
 overlay={\node[overlaystyle,draw=ForestGreen!75!black,fill=ForestGreen!75!black] at (frame.north east) {\large Theorem \usenumberArabic{theorems}};},#1}
 
+% Lemmas
 \newtcolorbox{lemma}[2][]{mainboxstyle,colback=Aquamarine!5!white,colframe=Aquamarine!75!black,colbacktitle=Aquamarine!75!black,title={\large #2},
 overlay={\node[overlaystyle,draw=Aquamarine!75!black,fill=Aquamarine!75!black] at (frame.north east) {\large Lemma \usenumberArabic{lemmas}};},#1}
 
+% Corollaries
 \newtcolorbox{corollary}[2][]{mainboxstyle,colback=teal!5!white,colframe=teal!75!black,colbacktitle=teal!75!black,title={\large #2},
 overlay={\node[overlaystyle,draw=teal!75!black,fill=teal!75!black] at (frame.north east) {\large \translate{Corollary}{Korollar} \usenumberArabic{corollaries}};},#1}
 
+% Axioms
 \newtcolorbox{axiom}[2][]{mainboxstyle,colback=JungleGreen!5!white,colframe=JungleGreen!75!black,colbacktitle=JungleGreen!75!black,title={\large #2},
 overlay={\node[overlaystyle,draw=JungleGreen!75!black,fill=JungleGreen!75!black] at (frame.north east) {\large Axiom \usenumberArabic{axioms}};},#1}
 
+% Facts
+\newtcolorbox{fact}[2][]{mainboxstyle,colback=SeaGreen!5!white,colframe=SeaGreen!75!black,colbacktitle=SeaGreen!75!black,title={\large #2},
+overlay={\node[overlaystyle,draw=SeaGreen!75!black,fill=SeaGreen!75!black] at (frame.north east) {\large \translate{Fact}{Fakt} \usenumberArabic{facts}};},#1}
+
+% Propositions
+\newtcolorbox{proposition}[2][]{mainboxstyle,colback=Cyan!5!white,colframe=Cyan!75!black,colbacktitle=Cyan!75!black,title={\large #2},
+overlay={\node[overlaystyle,draw=Cyan!75!black,fill=Cyan!75!black] at (frame.north east) {\large \translate{Proposition}{Satz} \usenumberArabic{propositions}};},#1}
+
+% Examples
 \newtcolorbox{example}[2][]{mainboxstyle,colback=gray!5!white,colframe=gray!75!black,colbacktitle=gray!75!black,title={\large #2},
 overlay={\node[overlaystyle,draw=gray!75!black,fill=gray!75!black] at (frame.north east) {\large \translate{Example}{Beispiel} \usenumberArabic{examples}};},#1}
 
 
 % Inline environments (inline)
-\newcommand{\inlineex}{\textbf{\translate{Example}{Beispiel} \usenumberArabic{examples}}}
+\newcommand{\inlineex}{\textbf{\translate{Example}{Beispiel} \usenumberArabic{examples}:}}
 \newcommand{\inlinedef}{\bg{blue}{Definition \usenumberArabic{definitions}:}}
 \newcommand{\inlinelemma}{\bg{Aquamarine}{Lemma \usenumberArabic{lemmas}:}}
 \newcommand{\inlinetheorem}{\bg{ForestGreen}{Theorem \usenumberArabic{theorems}:}}
 \newcommand{\inlineaxiom}{\bg{JungleGreen}{Axiom \usenumberArabic{axioms}:}}
 \newcommand{\inlinecorollary}{\bg{teal}{\translate{Corollary}{Korollar} \usenumberArabic{corollaries}:}}
+\newcommand{\inlinefact}{\bg{SeaGreen}{\translate{Fact}{Fakt} \usenumberArabic{facts}:}}
+\newcommand{\inlineproposition}{\bg{Cyan}{\translate{Proposition}{Satz} \usenumberArabic{propositions}:}}
 \newcommand{\inlineproof}{\bg{magenta}{\translate{Proof}{Beweis}:}}
 
 
 % short environments (abbreviated)
-\newcommand{\shortex}{\textbf{\translate{Ex}{Bsp} \usenumberArabic{examples}}}
+\newcommand{\shortex}{\textbf{\translate{Ex}{Bsp} \usenumberArabic{examples}:}}
 \newcommand{\shortdef}{\bg{blue}{D \usenumberArabic{definitions}:}}
 \newcommand{\shortlemma}{\bg{Aquamarine}{L \usenumberArabic{lemmas}:}}
 \newcommand{\shorttheorem}{\bg{ForestGreen}{T \usenumberArabic{theorems}:}}
 \newcommand{\shortaxiom}{\bg{JungleGreen}{A \usenumberArabic{axioms}:}}
 \newcommand{\shortcorollary}{\bg{teal}{\translate{C}{K} \usenumberArabic{corollaries}:}}
+\newcommand{\shortfact}{\bg{SeaGreen}{\translate{F}{F} \usenumberArabic{facts}:}}
+\newcommand{\shortproposition}{\bg{Cyan}{\translate{P}{S} \usenumberArabic{propositions}:}}
 \newcommand{\shortproof}{\bg{magenta}{\translate{Proof}{Beweis}:}}
diff --git a/main/style/style.tex b/main/style/style.tex
index dcc848d..5888a0e 100644
--- a/main/style/style.tex
+++ b/main/style/style.tex
@@ -55,6 +55,7 @@
     top=0pt,
     bottom=0pt,
     colframe=white,
+    frame empty,
     colback=#1!#2!white,
     highlight math style={enhanced}
 ] {\textbf{#3}}}
diff --git a/vscode-snippets/tex.json b/vscode-snippets/tex.json
index 7d292a2..922f93e 100755
--- a/vscode-snippets/tex.json
+++ b/vscode-snippets/tex.json
@@ -123,6 +123,24 @@
 		],
 		"description": "Inserts a tcolorbox to inform about corollaries"
 	},
+	"Proposition": {
+		"prefix": "proposition",
+		"body": [
+			"\\begin{proposition}[]{$1}",
+			"\t$2",
+			"\\end{proposition}"
+		],
+		"description": "Inserts a tcolorbox to inform about propositions"
+	},
+	"Fact": {
+		"prefix": "fact",
+		"body": [
+			"\\begin{fact}[]{$1}",
+			"\t$2",
+			"\\end{fact}"
+		],
+		"description": "Inserts a tcolorbox to inform about facts"
+	},
 	"Terms": {
 		"prefix": "terms",
 		"body": [
@@ -270,6 +288,30 @@
 			"\\shortcorollary"
 		]
 	},
+	"Proposition (inline)": {
+		"prefix": "proposition-inline",
+		"body": [
+			"\\inlineproposition"
+		]
+	},
+	"Proposition (short)": {
+		"prefix": "proposition-short",
+		"body": [
+			"\\shortproposition"
+		]
+	},
+	"Fact (inline)": {
+		"prefix": "fact-inline",
+		"body": [
+			"\\inlinefact"
+		]
+	},
+	"Fact (short)": {
+		"prefix": "fact-short",
+		"body": [
+			"\\shortfact"
+		]
+	},
 	"Axiom (inline)": {
 		"prefix": "axiom-inline",
 		"body": [
@@ -366,4 +408,4 @@
 			"\\end{document}"
 		]
 	}
-}
\ No newline at end of file
+}