PDA added.
Main goal updated.