should be sufficient to prove sub-tp-trans only for tnone