Deductive Analysis And Evaluation