`The shrinking principle and the axiom of choice'