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