Loading annotation for thinkingmachines.mit.edu