Short-circuiting logical operations