restrict-sub-tp1
restrict-subeq-tp