Take Counterexample #2. Add n5 as another arrow from n3. That looks like a legitimate use case to me.