diff --git a/0Trinitarianism/Quest3.agda b/0Trinitarianism/Quest3.agda
index 0df6b51..83f2a41 100644
--- a/0Trinitarianism/Quest3.agda
+++ b/0Trinitarianism/Quest3.agda
@@ -6,6 +6,6 @@ _+_ : ℕ → ℕ → ℕ
 n + m = {!!}
 
 {-
-Write here you proof that the sum of
+Write here your proof that the sum of
 even naturals is even.
 -}