Loading annotation for www-formal.stanford.edu