Text this: Freyd's models for the independence of the axiom of choice /