Deductive view 1