Using Ponder

Explanations of Ponder's functionality.