I will describe the interpretation of unsolvable terms in stable models 
(i. e. binary qualitative domains) and continuous models (i. e. 
graph models) of lambda calculus.