diff --git a/src/Logic.lagda b/src/Logic.lagda
index bb45cc0d..90c150c1 100644
--- a/src/Logic.lagda
+++ b/src/Logic.lagda
@@ -4,8 +4,6 @@ layout    : page
 permalink : /Logic
 ---
 
-Hello! Did this change propogate?
-
 This chapter introduces the basic concepts of logic, by observing
 that each concept of logic is represented by a corresponding
 data type.