User 存在即合理