Redirecting to Dynamic and formal equivalence