[Cl: D] Discussion of Fagin's contract