P

--- a ---> P1

P1

--- b ---> P
--- c ---> P