 If  (MF)  does not require the transmission model, the choice between foundationalism and infinitism is difficult. There is, perhaps, one test case: the possibility of gunk (everything has a proper part), junk (everything is a proper part), and hunk (everything both is and has a proper part). There is an on-going debate about the modal status of these scenarios, and one might appeal to their possibility in defense of indefinitely descending ground (as Bohn 2018  does).[27]  However, these scenarios of course concern only the relation of proper parthood (mereological dependence), and hence even if mereological infinitism were coherent, there may be other notions of dependence for which the corresponding notion of infinitism is incoherent.