>>889
そうだよねぇ
神様でなくとも、「中身」のある「形式的に厳密な記述」ができる人を今日の夜まで待っていたんだけど、
結局現れなかったね(笑)