Pt Definition

Pt:=proc

end: