A funny case that may justify what I will call "double file-carding" (by analogy with double indexing) for Zoltan's theory.

Suppose someone re-tells the story of Gregor Samsa from Kafka's "Metamorphosis", and a fragment of it looks like this:

"Gregor woke up realizing he has become a cockroach. It was morning, and, as usual, he had the first impulse to go to the bathroom to shave himself. But then he thought: how could he shave him?!"

This seems to me a case when we have just what the right-hand sides of the definitions of redundancy and inefficiency refer to, without really having either of them!

Therefore, I would say that this is a case that shows we should be working with two kinds of file-cards: object-file-cards and information-file-cards, rather than just one type of cards with both a name for the object and the information about that object on them. So we will have, in this specific case, one object-cards, bearing a relation with two info-file-cards, each having on it the following information, respectively: "is a human being" and "is a bug". So the, for instance redundancy will be defined by:

A file is redundant if it contains more than one object-file-card for a single object.

Then, inefficiency will be defined like this:

A file is inefficient iff information that pertains to a single object is not on information-file-cards such that all of them are linked to the same object-file-card.

Then, in our case, it makes sense to say that in the case of the first underlined expression, we have the human info-file-card that is relevant, while in the case of the second phrase underlines, we have the bug info-file-card that is relevant.

Or something like this!