isDefinedAt simplification