p( ; - ; )q is following