The Heard Theorem
36 following