"system may be implemented in which one or more types of objects may be" . . . .