Literal Logic