Add derivation for 'p'