Hm, maybe make these names a bit more descriptive? (I'm having a bit of trouble holding their semantics in my head, though that might also be my fault :).)