It's a comment, not a logical proof