Indirect proof: an intepreting model