Ibn Mas'ud said: Whenever a slave girl is purchased, and she already has a husband, the buyer is more entitled to contract marriage with her [bud'iha, her vagina], and similarly for female prisoners. All of this is obligatory due to the separation between her and her husband. They say: If this is the case then selling a slave girl necessarily means her divorce, since a vagina is prohibited to two at the same time, by universal consensus of Muslims. The hadith of Barirah refutes this, since 'Aishah (may Allah be pleased with her) purchased Barirah and set her free, and then the Prophet (SAW) gave her the choice, all while she had a husband. It is agreed by all that Barirah was given the choice while she was with her husband Mugith, after 'Aishah had purchased her and set her free; evidence that selling a slave girl is not divorce. The community of scholars from those who advocate the use of reasoning and hadith rests on this, and that she is not divorced unless she is divorced [formally].