Evaluating specifications