Temperature interlock circuit: Temperature readings the magnet
coils come in as small voltages, which are amplified and compared
to the threshold set by the Schmitt trigger. If either coil
temperature gets too hot, the Not-AND gate triggers the relay
system, forcing a manual reset of the power supply with the
ON switch.