42 See Hideaki Miyajima and Yasuhiro Arikawa (1999) for details.