Formulas / ATPL theory summary