Sentence: The guarantees so painfully obtained by formal verification of the source program are useless if the compiler generates wrong code .
Entities: entity1: code; entity2: compiler
Relationship: Product-Producer