Loading annotation for physproof.thisness.us