Formal Vs Dynamic Equivalence Chart - Lit Literature