If X :: A B IS_TRIPLE then ...                   If X :: A B !IS_TRIPLE then ...