Redirecting to Independence-friendly logic