El esbozo describe la lógica de predicados para " para hacerlo accesible para ingenieros ", y entra en el gran detalle en su puesta en práctica con relevos mecánicos y eléctricos.