though not very intuitive, it seems reasonable. I'll merge it.