I saw a couple of these that were direct, but in general it's an issue if they're true through multiple hops across equivalences