( pr te ..;