Deductive view 3