document full-and-empty state