rename goals -> theory, move some intro there