pred attribution

diff --git a/exercises/assignment3_answers.mdwn b/exercises/assignment3_answers.mdwn
index 0db7c26..082cb77 100644 (file)
--- a/exercises/assignment3_answers.mdwn
+++ b/exercises/assignment3_answers.mdwn
@@ -121,7 +121,7 @@
     >     let pred = \n. n shift (pair 0 err) snd in
     >     ...
 
     >     let pred = \n. n shift (pair 0 err) snd in
     >     ...
 

-    > Here is another solution, due to Martin Bunder and F. Urbanek:
+    > Here is another solution, that is attributed variously to Martin Bunder and F. Urbanek, or J. Velmans:

 
     >     let box = \a. \v. v a in
     >     let pred = \n. \s z. n (\b. box (b s)) (K z) I in
 
     >     let box = \a. \v. v a in
     >     let pred = \n. \s z. n (\b. box (b s)) (K z) I in