Email Record: Designing correct circuits :