Hot: circuitsolving