Axiom of choice [ unfolding - Torkian, Loga Ramin (Narada Productions Inc, 2002)