Program theory evaluation: Logic analysis.

Program theory evaluation: Logic analysis.