team-worthwhile/worthwhile — comment on commit d47c688c0d5b767306347b788edeaf823ca52218
File: validierung/testprogramme/test_fibonacci.ww line 33
By bafain:

No, without the conditional `i ≤ n+1` is just not an invariant at all.