いやそこは定式化されうるかの検証はしない