Do we not need to give this a specific name? (Update: No, it appears not).