Adequate Theory