Loading annotation for metatheorist.com