cleanup
subeq-tp-inv-rec
subeq-tp-inv-fun