On second thoughts, the forth choice I had in mind is actually kind of redundant, so I think I'll drop it. Anyway, it's about a quarter to three in the morning here, so I will conclude the ritual later, methinks. G'night!