User blog comment:P進大好きbot/Whether Rayo's number is well-defined or not/@comment-25601061-20180606221005

@LittlePeng9 @Emlightened