Literal Equations Rules