let is_empty = is_empty is_pos