A Symbolic Analysis of Relay and Switching Circuits, Work: Forkarium