The package provides the means to directly reference items of lists nested in theorem-like environments (e.g., as Theorem 1 a). The package extends the ntheorem and cleveref packages. The package also provides other theorem markup commands.