ATPL theory