https://profilbaru.com/en/Dynamic_and_formal_equivalence