omochimetaru 3/23/2017 3:45 AM

あ〜そういう意味か。

3:45 AM

Tの仮定は T? が通る時には T->T? の変換も続けて入るから絶対成功しちゃうって

3:45 AM

言ってるのね。