P def (9/26)

P def