Email Record: Logic and theory of algorithms :