Acceptance test for cores is ∃ which is safe to use when non or only some child states are created tus far
