Email Record: Logic of Programming and Calculi of Discrete Design :