boolean isOver(ZLTextElementRegion other) {
   return other == null || other.isUnder(this);
 }