Comment Comment by ggrothendieck We used to call stuff like this "the warm body clause". parent ggrothendieck 2 years ago
