I don't think there's a substitution effect for these one-off mega-projects in practice. When the US collider was canceled, that money was transferred to other

I don't think there's a substitution effect for these one-off mega-projects in practice. When the US collider was canceled, that money was transferred to other projects. It just wasn't spent on science at all.