tselin is too wimpy. it does not give anything for transitivity.