short-circuit proof