would HAVE come out.
Not that I disagree with your comment, but still.