> I recently watched your video citing all the mathematical evidence that correctness may not decompose For myself and others, are you referring to the video h

> I recently watched your video citing all the mathematical evidence that correctness may not decompose For myself and others, are you referring to the video here: https://pron.github.io/posts/correctness-and-complexity https://pron.github.io/posts/correctness-and-complexity ?