There is no disk mass budget problem of planet formation | Synapse