Loading annotation for leanlogic.online