diff --git a/README.md b/README.md
index b68ecbc..a2c5cd5 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-# conditional finality - yet another developer blog
+# the involution - yet another developer blog
This repository hosts the source code for my blog, written in Haskell and
powered by [hakyll](https://jaspervdj.be/hakyll/) and
diff --git a/flake.nix b/flake.nix
index a4ba18e..42458ef 100644
--- a/flake.nix
+++ b/flake.nix
@@ -1,5 +1,5 @@
{
- description = "conditional finality";
+ description = "the involution";
inputs.nixpkgs.url = "github:nixos/nixpkgs/nixos-unstable";
inputs.flake-utils.url = "github:numtide/flake-utils";
diff --git a/src/posts/2024-05-25-haskell-blog.md b/src/posts/2024-05-25-haskell-blog.md
index 1fda9e5..06ec522 100644
--- a/src/posts/2024-05-25-haskell-blog.md
+++ b/src/posts/2024-05-25-haskell-blog.md
@@ -9,13 +9,13 @@ title: "a haskellian blog"
updated: "2024-05-25T12:00:00Z"
---
-Welcome! This is the first post on _conditional finality_ and also one that tests all
+Welcome! This is the first post on _The Involution_ and also one that tests all
of the features.
-
+
+
+
+
> A monad is just a monoid in the category of endofunctors, what's the problem?
diff --git a/src/templates/default.html b/src/templates/default.html
index c665dd1..b7d0dab 100644
--- a/src/templates/default.html
+++ b/src/templates/default.html
@@ -1,7 +1,7 @@
- a web-log about computers, math, hacks, and all the rest. + a web-log about computers and math and hacks.
by Youwen Wu