How much is infra spending compared to revenue/other expenses? I honestly can’t imagine it’s that high, they’re not running something like Netflix or YouTube… But maybe I’m underestimating it.