added stub for enumerating theories of annotation