Just a comment: I remember you were a bit troubled over having .tupled here. I don't mind that at all. I don't think this would bother people really.