I hope to prove that the automorphism group of any ____ variety over ____ with ample (relative) canonical bundle is finite. We'll make a game tomorrow out of figuring out which assumptions are really needed.