Models based on a paper by Mainen ZF