Email Record: Constructive logics /