exp1 has no errors.