Email Record: Logic based program synthesis and transportation :