================================
Stein Implemented Specifications
TODO: fill this in until a new implemented space is added.