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
Relation: Product-Producer