Loading annotation for theory.stanford.edu