short-circuit transition