Email Record: Experiments in logic and computer design /