ああ、えっと、 unlabeled でないと弾くという処理にしてしまうとさっきの a と b は解消されても a と a は元に戻っちゃうよね？ということ。