Email Record: Introduction to the logical design of switching systems