public boolean isEnumerable() { return cardinality.isCountable(); }
public boolean isFinite() { return cardinality.isFinite(); }