Email Record: Design of logic systems /