public boolean isDefinedAt(int x) { return (x >= 0) && (x < length());
public final boolean isDefinedAt(int i) { return (0 <= i) && (i < length());
    public boolean isDefinedAt(int x) {        return (x >= 0) && (x < length());    }