What is logical adequacy of a theory?