What quality of a useful theory must be easily detectable?