CBS President Leslie Moonves received a letter sent from Gillespie regarding for a historical review or a disclaimer.
Gillespie sent a letter to CBS President Leslie Moonves asking for a historical review or a disclaimer.
the expression graph contains no redexes, is finite and is acyclic. data constructors are not reducible, so although they look like functions there is no reduction rule