いやそこは定式化されうるかの検証はしないけどあえて言うわ。