p1: x-2=0.