{|P0|}{|P1|?| {x|P1|x}|:||}