Email Record: Types vs. topos /