Thanks Virus9 and Svengali. The answer was indeed obvious. On important issues it can be worthwhile to pin it down and make it explicit.