This file explains PAC learning analyses, and the importance of choosing good features, grammars, first-order logic, and learning a theory and new concepts in first-order logic.