should be `null === $user`