The Pure Logic Of Choice