Dynamic Equivalence Churches