それってほんとにsonnet関与してるの？
ただのR1になってるかどうかを証明する方法ないのかな