Freyd's models for the independence of the axiom of choice | lit.salon