Added isDefinedBy statements