Evaluating Logic