Criterion based equivalence etc models by Jan Hof