Definition of Literal Proof