>>380
MTconjectureの反例との関係でもあるのか?