Comment by fchollet

How is that the case in this specific example? It looks a lot harder to check for correctness.