'pp' function added to 'Exp.t'