FORMULA AUDITING, DATA VALIDATION, AND COMPLEX PROBLEM SOLVING