Redirecting to Boole's inequality