add mark_is_lt and mark_is_eq