[ Elysion: All I know is this was initially judged TRUE in July 1994, and this
 judgement contradicts CFJ 667 ]