 This raises a Navigation Question: How are we to epistemically navigate from practical modality to metaphysical modality? Given that we know that \(p\) is practically possible, how do we come to know that it is metaphysically possible? Is this done via some (implicit or explicit) inferential transition? If so, does that imply that we need knowledge of some bridge principle between practical and metaphysical possibility?