Finished comp learning theory.