traditional counterexample to path equality can be expressed