Cecil Day-Lewis: A Question of Proof