started proof. sub-tp-trans remaining.