Email Record: Feasible computations and provable complexity properties /