~ pulling this one off the shelf ~
Theorem — OmList