I'd like to punt on this one since I haven't thought through the constructors for PDA's yet.