Deductive view 2