If? The writer hasn’t been to SF recently.
That was my comment!
What’s with the “if” crap? Done did happened.