let is_const a = is_empty a || is_full a