Putnam model
 
x
OK