Program Logic Model Evaluation