Suppose that A and B are two different interacting human proteins, and A' and B' are two different interacting dog proteins. Then the interaction between A and B is an interolog of the interaction between A' and B' if the following conditions all hold: