define IS_ZERO
PAIR added