( pc=x=t=: czx7)