Evaluating Formal instruction