switch invert-sel to subeq-tp