The sensible graph theories of lambda calculus