---
week4.mdwn | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/week4.mdwn b/week4.mdwn
index fb843462..f92ea169 100644
--- a/week4.mdwn
+++ b/week4.mdwn
@@ -27,11 +27,13 @@ of `T`, by the reasoning in the previous answer.
A: Right:
```
let Y = \T. (\x. T (x x)) (\x. T (x x)) in
-Y Y ≡ \T. (\x. T (x x)) (\x. T (x x)) Y
+Y Y
+≡ \T. (\x. T (x x)) (\x. T (x x)) Y
~~> (\x. Y (x x)) (\x. Y (x x))
~~> Y ((\x. Y (x x)) (\x. Y (x x)))
~~> Y (Y ((\x. Y (x x)) (\x. Y (x x))))
-~~> Y (Y (Y (...(Y (Y Y))...)))
```

+~~> Y (Y (Y (...(Y (Y Y))...)))
+
#Q: Ouch! Stop hurting my brain.#
--
2.11.0