full proof in Models