First Corinthians 7:12–16 speaks to a believer married to an unbeliever who is content to stay, and to desertion by an unbelieving spouse. It gives no procedure for divorcing someone in prison, so the deciding question is who is leaving and whether the unbeliever is willing to remain.