easy cases of transitivity. only tselx-rec stuff remaining.