and thank you very much for coming to tell me strictly speaking the model functor ends in the category of all large categories he wrote afterwards that he had voted for chris huhne