4 ms·We used to call stuff like this "the warm body clause".by ggrothendieck 2y agoWe used to call stuff like this "the warm body clause".