Action theory. Machine theory. Matching theory. Control theory. Estimation theory. Coding theory. Music theory. Set theory. Proof theory. Information theory.