  Given these assumptions, Putnam argues that finding an intended model which satisfies V=L simply requires finding a model of ZF+V=L which satisfies the relevant theoretical and operational constraints. His strategy for finding this model rests on the following theorem: