basically, transitivity seems hard.