15.1 I claimed in the body of the chapter that if proposition p involves no existential quantification and database DB contains (either explicitly or implicitly) two or more distinct representations of p, then DB contains some redundancy. Can you think of a database that doesn’t contain two or more distinct representations of any such proposition (either explicitly or implicitly) and yet in your opinion still displays some redundancy?