Literal vs Dynamic Equivalence