This package's theorems have two distinguishing characteristics. First, theorem numbering uses dynamic counters (specified by using the dcounter package, which gives the user considerable flexibility in counting styles. Second, the environment isn't defined as a trivlist (as LaTeX theorems are), which gives extra flexibility in using the environment. In addition, parameter definition is explicit and well-organised, and there is a QED-symbol-placing command.