Added PDA.curry