Redirecting to Green's Logical Inclusion Theorem