This is an alarm bell. I don't think it's reasonable to expect user to be nil, so we should not anticipate it. Can you remove this line without any side effects?