ちなみにマイケル・ティルソン・トーマスの本来の姓は
トーマスのみだ、と余計なことを付け加える。