{ cat▒▒2 } P
{ cat▒▒2 } P
{ cat▒▒2 } P

{ cat▒▒2 } P