diff --git a/src/Logic.lagda b/src/Logic.lagda
index 90c150c1..bb45cc0d 100644
--- a/src/Logic.lagda
+++ b/src/Logic.lagda
@@ -4,6 +4,8 @@ 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.