Email Record: HARC corollary.