Hi dws,
The number of parens are given. So if p = 2 then

1 ((2 3)) => valid 
((1 2 3)) => valid 
1 (((2 3))) => invalid

artist