Fix minor mistakes in evaluating (A 2 4) and (A 3 3)