Email Record: Logic of programming and calculi of discrete design :