[curryhowardiso]

I don't believe this answer deserves a downvote.

I think this answer missed a (somewhat) negation in the middle of the parent posts' argument