The inference from 'well-founded sets inherit well-orderability in Choice-models' to 'the restricted...