If problem identity is encoding-relative, polynomial-time reducibility ≤_P does not transitively pre...