Evaluating Formal Models of Science · Study