どうでもいいけど形系説だかなんだかはGBSPやDSLLでとっくに実証してるようなもんでは