[Nothing]

Sounds about right. The transitivity assumption doesn't hold here though, bob.