Symbol: P_DEF