diff --git a/trees/loc-001B.tree b/trees/loc-001B.tree
--- a/trees/loc-001B.tree
+++ b/trees/loc-001B.tree
@@ -11,6 +11,7 @@
 \put\transclude/expanded{false}
 
 \p{This page has an [atom feed](/forest/loc-001B/atom.xml).}
+\transclude{2025-W50}
 \transclude{2025-W49}
 \transclude{2025-W48}
 \transclude{2025-W47}
diff --git a/trees/loc-002P.tree b/trees/loc-002P.tree
new file mode 100644
--- /dev/null
+++ b/trees/loc-002P.tree
@@ -0,0 +1,53 @@
+\import{table-macros}
+\def\percent{\startverb%\stopverb
+   }
+\parent{loc-000P}
+\title{3rd Sunday of Advent 2025}
+\tag{cmc}
+\date{2025-12-14}
+\author{liamoc}
+\quote{ Gaudéte in Dómino semper: íterum dico, gaudéte: modéstia vestra nota sit ómnibus homínibus: Dóminus prope est. Nihil sollíciti sitis: sed omni orátione petitiónes vestræ innotéscant apud Deum.
+ }
+\p{This "Gaudete" Sunday at [All Saints Ainslie](https://allsaintsainslie.org.au) we had fun singing [this medieval carol](https://www.youtube.com/watch?v=l1NgHonWNE0):}
+\quote{
+  \table{
+    \tr{
+    \td{Gaudéte, gaudéte Christus est natus}
+    \td{Rejoice! Rejoice, Christ is born}
+    }\tr{
+    \td{ex María vírgine, Gaudéte!}
+    \td{of the Virgin Mary, Rejoice!}
+    }\tr{
+    \td{Tempus adest grátiæ, hoc quod optabámus,}
+    \td{The time of grace has come, of which we wished,}
+  }\tr{
+    \td{Carmina lætítiæ devóte reddámus!}
+    \td{Let us faithfully render songs of joy!}
+  }\tr{
+    \td{Deus homo factus est, nátura mirante}
+    \td{God has become Man, nature marvels.}
+  }\tr{
+    \td{Mundus renovátus est, a Christo regnánte}
+    \td{The world is renewed by the reigning Christ.}
+  }\tr{
+    \td{Ezechiélis porta clausa per tránsítur}
+    \td{The closed gate of Ezekiel is passed,}
+  }\tr{
+    \td{Unde lux est orta salus invenítur.}
+    \td{Whence light has risen, salvation is found.}
+  } \tr{
+    \td{Ergo nostra cóntio psallat iam in lústro,}
+    \td{Now let our assembly sing psalms to him in gladness,}
+  } \tr{
+    \td{Benedícat Dómino, salus regi nostro.}
+    \td{Let us bless the Lord, greetings to our King.}
+  }
+  \tr{
+  \td{Gaudéte, gaudéte Christus est natus}
+  \td{Rejoice! Rejoice, Christ is born}
+  }\tr{
+  \td{ex María vírgine, Gaudéte!}
+  \td{of the Virgin Mary, Rejoice!}
+  }
+}
+}
diff --git a/trees/weeknotes/2025-W50.tree b/trees/weeknotes/2025-W50.tree
--- a/trees/weeknotes/2025-W50.tree
+++ b/trees/weeknotes/2025-W50.tree
@@ -1,7 +1,8 @@
 \import{table-macros}
 \title{Weeknotes 2025-W50}
 \author{liamoc}
-%\date{2025-12-07}
-\p{Weeknotes in progress}
+\date{2025-12-14}
+\p{This week felt quite productive. The [Logic Summer School](loc-001W) has now finished, and my PhD student at [[uoe]], [[rayhana]], has now embarked back to the UK. My course ([[isa-001]]) was only for the first week, so I had some time to get work done this week. [[hoefner]] and I finally finished a mammoth proof in Isabelle that matrices over a Kleene algebra are themselves a Kleene algebra, a proof that's important for [[dexterkozen]]'s completeness result for Kleene algebras. This required some novel proof engineering, and some constructions to make the proof go though that we think [Dexter](dexterkozen) may have missed in his pen-and-paper proof. I may write up my thoughts this coming week, but it's also possible that you might have to wait for a paper. [[rayhana]] and I also sketched out some future directions for our work, which is quite exciting. }
 \transclude{loc-002N}
-\transclude{loc-002O}
\ No newline at end of file
+\transclude{loc-002O}
+\transclude{loc-002P}
\ No newline at end of file