#introduction-to-edr-thm