forcing_domain-independent