Non-sofic groupの構成がホントなら衝撃的