Loading annotation for bits.theorem.co