ponder prove