diff --git a/Logic/Language/Impl/L.hs b/Logic/Language/Impl/L.hs
index 6559e46..3b34950 100644
--- a/Logic/Language/Impl/L.hs
+++ b/Logic/Language/Impl/L.hs
@@ -151,3 +151,12 @@ deriveLExample1 = step5
     step3 = Infer2 0 0 step2 step1
     step4 = Axiom3 0 [Variable 0] [Variable 1] [Variable 2]
     step5 = Infer2 0 0 step4 step3
+
+deriveLExample2 :: Derivation AlphaL
+deriveLExample2 = step5
+  where
+    step1 = Axiom2 0 [Variable 0] [Open, Variable 0, Arrow, Variable 0, Close]
+    step2 = Axiom3 0 [Variable 0] [Open, Variable 0, Arrow, Variable 0, Close] [Variable 0]
+    step3 = Infer2 0 0 step2 step1
+    step4 = Axiom2 0 [Variable 0] [Variable 0]
+    step5 = Infer2 0 0 step3 step4