Al-Istibsar in the Discussion of Algebra and Choice