Sentence:The guarantees so painfully obtained by formal verification of the source program are useless if the [e1]compiler[/e1] generates wrong [e2]code[/e2].
 e1: compiler. 
 e2 : code.
Answer: Product-Producer(e2,e1)