theorems and hyperrefs