short-circuit verification