P term

P termP termP termP termP termP term
P termP termP termP termP termP term
P termP termP termP termP termP termP termP termP termP termP termP termP termP termP term